Class CadetSolver

    • Constructor Summary

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

      • CadetSolver

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

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