Package org.tweetyproject.logics.commons.analysis

Interface ConsistencyTester<T extends BeliefBase>

Type Parameters:
T - the type of belief bases
All Known Subinterfaces:
ActionDescriptionConsistencyTester<T>, BeliefSetConsistencyTester<T>, MusEnumerator<S>
All Known Implementing Classes:
AbstractBeliefSetConsistencyTester, AbstractMusEnumerator, CActionDescriptionConsistencyTester, CadetSolver, CaqeSolver, CmdLineSatSolver, DimacsMaxSatSolver, DimacsSatSolver, GhostQSolver, MarcoMusEnumerator, MaxSatSolver, MimusMusEnumerator, NaiveMusEnumerator, OpenWboSolver, PclDefaultConsistencyTester, PlMusEnumerator, QbfSolver, QuteSolver, Sat4jSolver, SatSolver, SimpleDpllSolver
public interface ConsistencyTester<T extends BeliefBase>
Classes implementing this interface are capable of testing whether a given belief base is consistent.
Author:
Matthias Thimm, Tim Janus