Class QbfSolver

    • Constructor Summary

      Constructor Description
    • Method Summary

      Modifier and Type Method Description
      boolean isConsistent​(java.util.Collection<PlFormula> formulas)
      Checks whether the given collection of formulas is consistent.
      boolean isConsistent​(BeliefSet<PlFormula,​?> beliefSet)
      Checks whether the given belief base is consistent.
      boolean isConsistent​(PlFormula formula)
      Checks whether the given formula is consistent.
      abstract boolean isSatisfiable​(java.util.Collection<PlFormula> formulas)
      Checks whether the given set of formulas is satisfiable.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait