Class AbstractBeliefSetConsistencyTester<T extends Formula>

    • Method Summary

      Modifier and Type Method Description
      abstract boolean isConsistent​(java.util.Collection<T> formulas)
      Checks whether the given collection of formulas is consistent.
      boolean isConsistent​(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()