public class ClassicalEntailment extends EntailmentRelation<PropositionalFormula>
Constructor and Description |
---|
ClassicalEntailment() |
Modifier and Type | Method and Description |
---|---|
boolean |
entails(java.util.Collection<PropositionalFormula> formulas,
PropositionalFormula formula)
Checks whether the given set of formulas entails the given formula.
|
Interpretation |
getWitness(java.util.Collection<PropositionalFormula> formulas)
If the collection of formulas is consistent this method
returns some model of it or, if it is inconsistent, null.
|
boolean |
isConsistent(java.util.Collection<PropositionalFormula> formulas)
Checks whether the given set of formulas is consistent.
|
entails, entails, entails, getKernels, isEquivalent
public boolean entails(java.util.Collection<PropositionalFormula> formulas, PropositionalFormula formula)
EntailmentRelation
entails
in class EntailmentRelation<PropositionalFormula>
formulas
- a collection of formulas.formula
- some formula.public boolean isConsistent(java.util.Collection<PropositionalFormula> formulas)
EntailmentRelation
isConsistent
in class EntailmentRelation<PropositionalFormula>
formulas
- a set of formulas.public Interpretation getWitness(java.util.Collection<PropositionalFormula> formulas)
EntailmentRelation
getWitness
in class EntailmentRelation<PropositionalFormula>