net.sf.tweety.logics.commons.analysis

Class AbstractBeliefSetConsistencyTester<S extends Formula>

java.lang.Object

net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester<S>

All Implemented Interfaces:

BeliefSetConsistencyTester<S>, ConsistencyTester<BeliefSet<S>>

Direct Known Subclasses:

PclDefaultConsistencyTester

public abstract class AbstractBeliefSetConsistencyTester<S extends Formula>
extends java.lang.Object
implements BeliefSetConsistencyTester<S>

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

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractBeliefSetConsistencyTester()

Method Summary

Modifier and Type	Method and Description
boolean	isConsistent(BeliefSet<S> beliefSet) Checks whether the given belief base is consistent.
abstract 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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractBeliefSetConsistencyTester

public AbstractBeliefSetConsistencyTester()

Method Detail

isConsistent

public boolean isConsistent(BeliefSet<S> beliefSet)

Description copied from interface: ConsistencyTester

Checks whether the given belief base is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<S extends Formula>

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

public boolean isConsistent(S formula)

Description copied from interface: BeliefSetConsistencyTester

Checks whether the given formula is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<S extends Formula>

Parameters:

formula - a formulas.

Returns:

"true" iff the formula is consistent.

isConsistent

public abstract boolean isConsistent(java.util.Collection<S> formulas)

Description copied from interface: BeliefSetConsistencyTester

Checks whether the given collection of formulas is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<S extends Formula>

Parameters:

formulas - a collection of formulas.

Returns:

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