Class Prover9FolReasoner

    • Constructor Summary

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

      Modifier and Type Method Description
      boolean equivalent​(FolBeliefSet kb, FolFormula a, FolFormula b)
      This method determines whether two formulas are equivalent wrt.
      java.lang.String getBinaryLocation()
      Returns the path of the Prover9 binaries.
      java.lang.Boolean query​(FolBeliefSet kb, FolFormula query)
      Queries the given belief base for the given formula.
      void setBinaryLocation​(java.lang.String binaryLocation)
      Changes the path of the Prover9 binaries.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Prover9FolReasoner

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

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

      • equivalent

        public boolean equivalent​(FolBeliefSet kb,
                                  FolFormula a,
                                  FolFormula b)
        Description copied from class: FolReasoner
        This method determines whether two formulas are equivalent wrt. to the given knowledge base.
        Specified by:
        equivalent in class FolReasoner
        Parameters:
        kb - the knowledge base
        a - the first formula.
        b - the second formula.
        Returns:
        the answer to the query.
      • getBinaryLocation

        public java.lang.String getBinaryLocation()
        Returns the path of the Prover9 binaries.
        Returns:
        binary location of Prover9
      • setBinaryLocation

        public void setBinaryLocation​(java.lang.String binaryLocation)
        Changes the path of the Prover9 binaries.
        Parameters:
        binaryLocation - the new path of the binary