public class PclDefaultConsistencyTester extends AbstractBeliefSetConsistencyTester<ProbabilisticConditional>
Constructor and Description |
---|
PclDefaultConsistencyTester() |
Modifier and Type | Method and Description |
---|---|
boolean |
isConsistent(java.util.Collection<ProbabilisticConditional> formulas)
Checks whether the given collection of formulas is consistent.
|
boolean |
isConsistent(ProbabilisticConditional formula)
Checks whether the given formula is consistent.
|
isConsistent
public boolean isConsistent(java.util.Collection<ProbabilisticConditional> formulas)
BeliefSetConsistencyTester
isConsistent
in interface BeliefSetConsistencyTester<ProbabilisticConditional>
isConsistent
in class AbstractBeliefSetConsistencyTester<ProbabilisticConditional>
formulas
- a collection of formulas.public boolean isConsistent(ProbabilisticConditional formula)
BeliefSetConsistencyTester
isConsistent
in interface BeliefSetConsistencyTester<ProbabilisticConditional>
isConsistent
in class AbstractBeliefSetConsistencyTester<ProbabilisticConditional>
formula
- a formulas.