Class PclDefaultConsistencyTester
java.lang.Object
org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester<ProbabilisticConditional>
org.tweetyproject.logics.pcl.analysis.PclDefaultConsistencyTester
- All Implemented Interfaces:
BeliefSetConsistencyTester<ProbabilisticConditional>
,ConsistencyTester<BeliefSet<ProbabilisticConditional,?>>
public class PclDefaultConsistencyTester
extends AbstractBeliefSetConsistencyTester<ProbabilisticConditional>
This class is capable of checking whether a given conditional knowledge base
is consistent by searching for the root of some equivalent multi-dimensional function.
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
isConsistent(Collection<ProbabilisticConditional> formulas)
Checks whether the given collection of formulas is consistent.boolean
isConsistent(ProbabilisticConditional formula)
Checks whether the given formula is consistent.Methods inherited from class org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester
isConsistent
-
Constructor Details
-
PclDefaultConsistencyTester
-
-
Method Details
-
isConsistent
Description copied from interface:BeliefSetConsistencyTester
Checks whether the given collection of formulas is consistent.- Specified by:
isConsistent
in interfaceBeliefSetConsistencyTester<ProbabilisticConditional>
- Specified by:
isConsistent
in classAbstractBeliefSetConsistencyTester<ProbabilisticConditional>
- Parameters:
formulas
- a collection of formulas.- Returns:
- "true" iff the given collection of formulas is consistent.
-
isConsistent
Description copied from interface:BeliefSetConsistencyTester
Checks whether the given formula is consistent.- Specified by:
isConsistent
in interfaceBeliefSetConsistencyTester<ProbabilisticConditional>
- Overrides:
isConsistent
in classAbstractBeliefSetConsistencyTester<ProbabilisticConditional>
- Parameters:
formula
- a formulas.- Returns:
- "true" iff the formula is consistent.
-