Package org.tweetyproject.logics.commons.analysis

Interface ConsistencyTester<T extends BeliefBase>

Type Parameters:
T - the type of belief bases
All Known Subinterfaces:
ActionDescriptionConsistencyTester<T>, BeliefSetConsistencyTester<T>, MusEnumerator<S>
All Known Implementing Classes:
AbstractBeliefSetConsistencyTester, AbstractMusEnumerator, CActionDescriptionConsistencyTester, CadetSolver, CaqeSolver, CmdLineSatSolver, GhostQSolver, MarcoMusEnumerator, MaxSatSolver, MimusMusEnumerator, NaiveMusEnumerator, OpenWboSolver, PclDefaultConsistencyTester, PlMusEnumerator, QbfSolver, QuteSolver, Sat4jSolver, SatSolver, SimpleDpllSolver
public interface ConsistencyTester<T extends BeliefBase>
Classes implementing this interface are capable of testing whether a given belief base is consistent.
Author:
Matthias Thimm, Tim Janus

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isConsistent​(T beliefBase)
    Checks whether the given belief base is consistent.

  • Method Details

    • isConsistent

      boolean isConsistent​(T beliefBase)
      Checks whether the given belief base is consistent.
      Parameters:
      beliefBase - a belief base.
      Returns:
      "true" iff the given belief base is consistent.