net.sf.tweety.logics.commons.analysis

Interface ConsistencyTester<T extends net.sf.tweety.commons.BeliefBase>

All Known Subinterfaces:

BeliefSetConsistencyTester<S>, MusEnumerator<S>

All Known Implementing Classes:

AbstractBeliefSetConsistencyTester, AbstractMusEnumerator, NaiveMusEnumerator

public interface ConsistencyTester<T extends net.sf.tweety.commons.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.