net.sf.tweety.logics.pl

Class ClassicalEntailment

java.lang.Object

net.sf.tweety.commons.EntailmentRelation<PropositionalFormula>

net.sf.tweety.logics.pl.ClassicalEntailment

public class ClassicalEntailment
extends net.sf.tweety.commons.EntailmentRelation<PropositionalFormula>

This class implements classical entailment for propositional logic.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
ClassicalEntailment()

Method Summary

Modifier and Type	Method and Description
boolean	entails(Collection<PropositionalFormula> formulas, PropositionalFormula formula)
net.sf.tweety.commons.Interpretation	getWitness(Collection<PropositionalFormula> formulas)
boolean	isConsistent(Collection<PropositionalFormula> formulas)

Methods inherited from class net.sf.tweety.commons.EntailmentRelation

entails, entails, entails, getKernels, isEquivalent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClassicalEntailment

public ClassicalEntailment()

Method Detail

entails

public boolean entails(Collection<PropositionalFormula> formulas,
                       PropositionalFormula formula)

Specified by:

entails in class net.sf.tweety.commons.EntailmentRelation<PropositionalFormula>

isConsistent

public boolean isConsistent(Collection<PropositionalFormula> formulas)

Specified by:

isConsistent in class net.sf.tweety.commons.EntailmentRelation<PropositionalFormula>

getWitness

public net.sf.tweety.commons.Interpretation getWitness(Collection<PropositionalFormula> formulas)

Specified by:

getWitness in class net.sf.tweety.commons.EntailmentRelation<PropositionalFormula>