Class GhostQSolver

    • Constructor Summary

      Constructors 
      Constructor Description
      GhostQSolver​(java.lang.String binaryLocation)
      Constructs a new instance pointing to a specific GhostQSolver
      GhostQSolver​(java.lang.String binaryLocation, Shell bash)
      Constructs a new instance pointing to a specific GhostQSolver.
    • 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

      • GhostQSolver

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

        public GhostQSolver​(java.lang.String binaryLocation)
        Constructs a new instance pointing to a specific GhostQSolver
        Parameters:
        binaryLocation - of the GhostQ 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.