Package net.sf.tweety.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, GhostQSolver, IncrementalSatSolver, LingelingSolver, MarcoMusEnumerator, MaxSatSolver, MimusMusEnumerator, NaiveMusEnumerator, NativeLingelingSolver, NativeMinisatSolver, NativePicosatSolver, OpenWboSolver, PclDefaultConsistencyTester, PlMusEnumerator, QbfSolver, QuteSolver, Sat4jSolver, SatSolver, SimpleDpllSolver, SimpleIncrementalSatSolver

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

Method Summary

Modifier and Type	Method	Description
boolean	isConsistent(T beliefBase)	Checks whether the given belief base is consistent.

Method Detail

isConsistent

boolean isConsistent(T beliefBase)

Checks whether the given belief base is consistent.

Parameters:

beliefBase - a belief base.

Returns:

"true" iff the given belief base is consistent.