Class AbstractBeliefSetConsistencyTester<T extends Formula>
- java.lang.Object
-
- net.sf.tweety.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 java.lang.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
Constructors Constructor Description AbstractBeliefSetConsistencyTester()
-
Method Summary
Modifier and Type Method Description abstract boolean
isConsistent(java.util.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.
-
-
-
Method Detail
-
isConsistent
public boolean isConsistent(BeliefSet<T,?> beliefSet)
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
public boolean isConsistent(T formula)
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
public abstract boolean isConsistent(java.util.Collection<T> formulas)
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.
-
-