net.sf.tweety.logics.commons.analysis

Interface ConsistencyTester<T extends BeliefBase>

All Known Subinterfaces:

ActionDescriptionConsistencyTester<T>, BeliefSetConsistencyTester<S>, MusEnumerator<S>

All Known Implementing Classes:

AbstractBeliefSetConsistencyTester, AbstractMusEnumerator, CActionDescriptionConsistencyTester, LingelingSolver, MarcoMusEnumerator, MimusMusEnumerator, NaiveMusEnumerator, PclDefaultConsistencyTester, PlMusEnumerator, 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

Method Summary

Modifier and Type	Method and 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.