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

Interface BeliefSetConsistencyTester<T extends net.sf.tweety.commons.Formula>

Type Parameters:

T - The type of formulas of the belief set

All Superinterfaces:

ConsistencyTester<net.sf.tweety.commons.BeliefSet<T,?>>

All Known Subinterfaces:

MusEnumerator<S>

All Known Implementing Classes:

AbstractBeliefSetConsistencyTester, AbstractMusEnumerator, NaiveMusEnumerator

public interface BeliefSetConsistencyTester<T extends net.sf.tweety.commons.Formula>
extends ConsistencyTester<net.sf.tweety.commons.BeliefSet<T,?>>

Classes extending this abstract class are capable of testing whether a given belief set is consistent.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method	Description
boolean	isConsistent(Collection<T> formulas)	Checks whether the given collection of formulas is consistent.
boolean	isConsistent(net.sf.tweety.commons.BeliefSet<T,?> beliefSet)	Checks whether the given belief base is consistent.
boolean	isConsistent(T formula)	Checks whether the given formula is consistent.

Method Detail

isConsistent

boolean isConsistent(net.sf.tweety.commons.BeliefSet<T,?> beliefSet)

Description copied from interface: ConsistencyTester

Checks whether the given belief base is consistent.

Specified by:

isConsistent in interface ConsistencyTester<T extends net.sf.tweety.commons.Formula>

Parameters:

beliefSet - a belief base.

Returns:

"true" iff the given belief base is consistent.

isConsistent

boolean isConsistent(Collection<T> formulas)

Checks whether the given collection of formulas is consistent.

Parameters:

formulas - a collection of formulas.

Returns:

"true" iff the given collection of formulas is consistent.

isConsistent

boolean isConsistent(T formula)

Checks whether the given formula is consistent.

Parameters:

formula - a formulas.

Returns:

"true" iff the formula is consistent.