net.sf.tweety.logics.commons.analysis

Class AbstractBeliefSetConsistencyTester<S extends net.sf.tweety.commons.Formula>

java.lang.Object

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

All Implemented Interfaces:

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

public abstract class AbstractBeliefSetConsistencyTester<S extends net.sf.tweety.commons.Formula>
extends 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(net.sf.tweety.commons.BeliefSet<S> beliefSet) Checks whether the given belief base is consistent.
abstract 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.

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(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 BeliefSetConsistencyTester<S extends net.sf.tweety.commons.Formula>

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

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 net.sf.tweety.commons.Formula>

Parameters:

formula - a formulas.

Returns:

"true" iff the formula is consistent.

isConsistent

public abstract boolean isConsistent(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 net.sf.tweety.commons.Formula>

Parameters:

formulas - a collection of formulas.

Returns:

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