Class AbstractBeliefSetConsistencyTester<T extends Formula>

java.lang.Object
org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester<T>
Type Parameters:
T - The type of formulas in the belief set
All Implemented Interfaces:
BeliefSetConsistencyTester<T>, ConsistencyTester<BeliefSet<T,?>>
Direct Known Subclasses:
PclDefaultConsistencyTester

public abstract class AbstractBeliefSetConsistencyTester<T extends 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