net.sf.tweety.logics.commons.analysis

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

All Superinterfaces:

ConsistencyTester<net.sf.tweety.commons.BeliefSet<S>>

All Known Subinterfaces:

MusEnumerator<S>

All Known Implementing Classes:

AbstractBeliefSetConsistencyTester, AbstractMusEnumerator, NaiveMusEnumerator

public interface BeliefSetConsistencyTester<S extends net.sf.tweety.commons.Formula>
extends ConsistencyTester<net.sf.tweety.commons.BeliefSet<S>>

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 and Description
boolean	isConsistent(net.sf.tweety.commons.BeliefSet<S> beliefSet) Checks whether the given belief base is consistent.
boolean	isConsistent(Collection<S> formulas) Checks whether the given collection of formulas is consistent.
boolean	isConsistent(S formula) Checks whether the given formula is consistent.

Method Detail

isConsistent

boolean isConsistent(net.sf.tweety.commons.BeliefSet<S> beliefSet)

Description copied from interface: ConsistencyTester

Checks whether the given belief base is consistent.

Specified by:

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

Parameters:

beliefSet - a belief base.

Returns:

"true" iff the given belief base is consistent.

isConsistent

boolean isConsistent(Collection<S> 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(S formula)

Checks whether the given formula is consistent.

Parameters:

formula - a formulas.

Returns:

"true" iff the formula is consistent.