Interface BeliefSetConsistencyTester<T extends Formula>
-
- Type Parameters:
T
- The type of formulas of the belief set
- All Superinterfaces:
ConsistencyTester<BeliefSet<T,?>>
- All Known Subinterfaces:
MusEnumerator<S>
- All Known Implementing Classes:
AbstractBeliefSetConsistencyTester
,AbstractMusEnumerator
,CadetSolver
,CaqeSolver
,GhostQSolver
,IncrementalSatSolver
,LingelingSolver
,MarcoMusEnumerator
,MaxSatSolver
,MimusMusEnumerator
,NaiveMusEnumerator
,NativeLingelingSolver
,NativeMinisatSolver
,NativePicosatSolver
,OpenWboSolver
,PclDefaultConsistencyTester
,PlMusEnumerator
,QbfSolver
,QuteSolver
,Sat4jSolver
,SatSolver
,SimpleDpllSolver
,SimpleIncrementalSatSolver
public interface BeliefSetConsistencyTester<T extends Formula> extends ConsistencyTester<BeliefSet<T,?>>
Classes extending this abstract class are capable of testing whether a given belief set is consistent.- Author:
- Matthias Thimm
-
-
Method Summary
Modifier and Type Method Description 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
boolean isConsistent(BeliefSet<T,?> beliefSet)
Description copied from interface:ConsistencyTester
Checks whether the given belief base is consistent.- Specified by:
isConsistent
in interfaceConsistencyTester<T extends Formula>
- Parameters:
beliefSet
- a belief base.- Returns:
- "true" iff the given belief base is consistent.
-
isConsistent
boolean isConsistent(java.util.Collection<T> formulas)
Checks whether the given collection of formulas is consistent.- Parameters:
formulas
- a collection of formulas.- Returns:
- "true" iff the given collection of formulas is consistent.
-
isConsistent
boolean isConsistent(T formula)
Checks whether the given formula is consistent.- Parameters:
formula
- a formulas.- Returns:
- "true" iff the formula is consistent.
-
-