Package net.sf.tweety.logics.commons.analysis

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

Type Parameters:

T - the type of belief bases

All Known Subinterfaces:

BeliefSetConsistencyTester<T>, 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	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.