Class AbstractBeliefSetConsistencyTester<T extends Formula>
java.lang.Object
org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester<T>
- Type Parameters:
T
- The type of formulas in the belief set
- All Implemented Interfaces:
BeliefSetConsistencyTester<T>
,ConsistencyTester<BeliefSet<T,
?>>
- Direct Known Subclasses:
PclDefaultConsistencyTester
public abstract class AbstractBeliefSetConsistencyTester<T extends Formula>
extends Object
implements BeliefSetConsistencyTester<T>
Classes extending this abstract class are capable of testing
whether a given belief set is consistent.
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionabstract boolean
isConsistent
(Collection<T> formulas) Checks whether the given collection of formulas is consistent.boolean
isConsistent
(BeliefSet<T, ?> beliefSet) Checks whether the given belief base is consistent.boolean
isConsistent
(T formula) Checks whether the given formula is consistent.
-
Constructor Details
-
AbstractBeliefSetConsistencyTester
public AbstractBeliefSetConsistencyTester()
-
-
Method Details
-
isConsistent
Description copied from interface:ConsistencyTester
Checks whether the given belief base is consistent.- Specified by:
isConsistent
in interfaceBeliefSetConsistencyTester<T extends Formula>
- Specified by:
isConsistent
in interfaceConsistencyTester<T extends Formula>
- Parameters:
beliefSet
- a belief base.- Returns:
- "true" iff the given belief base is consistent.
-
isConsistent
Description copied from interface:BeliefSetConsistencyTester
Checks whether the given formula is consistent.- Specified by:
isConsistent
in interfaceBeliefSetConsistencyTester<T extends Formula>
- Parameters:
formula
- a formulas.- Returns:
- "true" iff the formula is consistent.
-
isConsistent
Description copied from interface:BeliefSetConsistencyTester
Checks whether the given collection of formulas is consistent.- Specified by:
isConsistent
in interfaceBeliefSetConsistencyTester<T extends Formula>
- Parameters:
formulas
- a collection of formulas.- Returns:
- "true" iff the given collection of formulas is consistent.
-