Class AbstractMlReasoner

    • Method Summary

      Modifier and Type Method Description
      static AbstractMlReasoner getDefaultReasoner()
      Returns the default reasoner for modal logic
      abstract java.lang.Boolean query​(MlBeliefSet beliefbase, FolFormula formula)
      Queries the given belief base for the given formula.
      static void setDefaultReasoner​(AbstractMlReasoner reasoner)
      Set default modal reasoner with given
      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • AbstractMlReasoner

        public AbstractMlReasoner()
    • Method Detail

      • setDefaultReasoner

        public static void setDefaultReasoner​(AbstractMlReasoner reasoner)
        Set default modal reasoner with given
        Parameters:
        reasoner - an ML Reasoner
      • getDefaultReasoner

        public static AbstractMlReasoner getDefaultReasoner()
        Returns the default reasoner for modal logic
        Returns:
        the default modal reasoner