Class MleanCoPReasoner

    • Constructor Summary

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

      Modifier and Type Method Description
      java.lang.String getScriptLocation()
      Get the mleancop.sh path.
      java.lang.Boolean query​(MlBeliefSet beliefbase, FolFormula formula)
      Queries the given belief base for the given formula.
      void setScriptLocation​(java.lang.String location)
      Set the mleancop.sh path.
      • Methods inherited from class java.lang.Object

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

      • MleanCoPReasoner

        public MleanCoPReasoner​(java.lang.String location,
                                Shell bash)
        Constructs a new instance pointing to a specific MleanCoProver.
        Parameters:
        location - mleancop.sh path on the hard drive
        bash - shell to run commands
      • MleanCoPReasoner

        public MleanCoPReasoner​(java.lang.String location)
        Constructs a new instance pointing to a specific MleanCoProver.
        Parameters:
        location - mleancop.sh path on the hard drive
    • Method Detail

      • getScriptLocation

        public java.lang.String getScriptLocation()
        Get the mleancop.sh path.
        Returns:
        location of MleanCOP shell script
      • setScriptLocation

        public void setScriptLocation​(java.lang.String location)
        Set the mleancop.sh path.
        Parameters:
        location - of MleanCOP shell script