public abstract class AbstractBeliefSetConsistencyTester<S extends Formula> extends java.lang.Object implements BeliefSetConsistencyTester<S>
Constructor and Description |
---|
AbstractBeliefSetConsistencyTester() |
Modifier and Type | Method and Description |
---|---|
boolean |
isConsistent(BeliefSet<S> beliefSet)
Checks whether the given belief base is consistent.
|
abstract 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.
|
public boolean isConsistent(BeliefSet<S> beliefSet)
ConsistencyTester
isConsistent
in interface BeliefSetConsistencyTester<S extends Formula>
isConsistent
in interface ConsistencyTester<BeliefSet<S extends Formula>>
beliefSet
- a belief base.public boolean isConsistent(S formula)
BeliefSetConsistencyTester
isConsistent
in interface BeliefSetConsistencyTester<S extends Formula>
formula
- a formulas.public abstract boolean isConsistent(java.util.Collection<S> formulas)
BeliefSetConsistencyTester
isConsistent
in interface BeliefSetConsistencyTester<S extends Formula>
formulas
- a collection of formulas.