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

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

java.lang.Object

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

Type Parameters:

T - The type of formulas in the belief set

All Implemented Interfaces:

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

public abstract class AbstractBeliefSetConsistencyTester<T extends net.sf.tweety.commons.Formula>
extends Object
implements BeliefSetConsistencyTester<T>

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

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractBeliefSetConsistencyTester()

Method Summary

Modifier and Type	Method	Description
abstract 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.

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<T,?> beliefSet)

Description copied from interface: ConsistencyTester

Checks whether the given belief base is consistent.

Specified by:

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

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

public boolean isConsistent(T formula)

Description copied from interface: BeliefSetConsistencyTester

Checks whether the given formula is consistent.

Specified by:

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

Parameters:

formula - a formulas.

Returns:

"true" iff the formula is consistent.

isConsistent

public abstract boolean isConsistent(Collection<T> formulas)

Description copied from interface: BeliefSetConsistencyTester

Checks whether the given collection of formulas is consistent.

Specified by:

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

Parameters:

formulas - a collection of formulas.

Returns:

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