Class QuteSolver

    • Constructor Summary

      Constructors 
      Constructor Description
      QuteSolver​(java.lang.String binaryLocation)
      Constructs a new instance pointing to a specific QuteSolver
      QuteSolver​(java.lang.String binaryLocation, Shell bash)
      Constructs a new instance pointing to a specific QuteSolver.
    • Method Summary

      Modifier and Type Method Description
      boolean isSatisfiable​(java.util.Collection<PlFormula> kb)
      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
    • Constructor Detail

      • QuteSolver

        public QuteSolver​(java.lang.String binaryLocation,
                          Shell bash)
        Constructs a new instance pointing to a specific QuteSolver.
        Parameters:
        binaryLocation - of the Qute executable on the hard drive
        bash - shell to run commands
      • QuteSolver

        public QuteSolver​(java.lang.String binaryLocation)
        Constructs a new instance pointing to a specific QuteSolver
        Parameters:
        binaryLocation - of the Qute executable on the hard drive
    • Method Detail

      • isSatisfiable

        public boolean isSatisfiable​(java.util.Collection<PlFormula> kb)
        Description copied from class: QbfSolver
        Checks whether the given set of formulas is satisfiable.
        Specified by:
        isSatisfiable in class QbfSolver
        Parameters:
        kb - a set of formulas.
        Returns:
        "true" if the set is consistent.