public interface BeliefSetConsistencyTester<S extends Formula> extends ConsistencyTester<BeliefSet<S>>
Modifier and Type | Method and Description |
---|---|
boolean |
isConsistent(BeliefSet<S> beliefSet)
Checks whether the given belief base is consistent.
|
boolean |
isConsistent(java.util.Collection<S> formulas)
Checks whether the given collection of formulas is consistent.
|
boolean |
isConsistent(S formula)
Checks whether the given formula is consistent.
|
boolean isConsistent(BeliefSet<S> beliefSet)
ConsistencyTester
isConsistent
in interface ConsistencyTester<BeliefSet<S extends Formula>>
beliefSet
- a belief base.boolean isConsistent(java.util.Collection<S> formulas)
formulas
- a collection of formulas.boolean isConsistent(S formula)
formula
- a formulas.