net.sf.tweety.logics.commons.analysis

Interface BeliefSetConsistencyTester<S extends Formula>

All Superinterfaces:

ConsistencyTester<BeliefSet<S>>

All Known Subinterfaces:

MusEnumerator<S>

All Known Implementing Classes:

AbstractBeliefSetConsistencyTester, AbstractMusEnumerator, LingelingSolver, MarcoMusEnumerator, MimusMusEnumerator, NaiveMusEnumerator, PclDefaultConsistencyTester, PlMusEnumerator, Sat4jSolver, SatSolver

public interface BeliefSetConsistencyTester<S extends Formula>
extends ConsistencyTester<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(BeliefSet<S> beliefSet) Checks whether the given belief base is consistent.
boolean	isConsistent(java.util.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(BeliefSet<S> beliefSet)

Description copied from interface: ConsistencyTester

Checks whether the given belief base is consistent.

Specified by:

isConsistent in interface ConsistencyTester<BeliefSet<S extends Formula>>

Parameters:

beliefSet - a belief base.

Returns:

"true" iff the given belief base is consistent.

isConsistent

boolean isConsistent(java.util.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.