Interface Reasoner<O,​B extends BeliefBase,​F extends Formula>

    • Method Summary

      Modifier and Type Method Description
      O query​(B beliefbase, F formula)
      Queries the given belief base for the given formula.
    • Method Detail

      • query

        O query​(B beliefbase,
                F formula)
        Queries the given belief base for the given formula.
        Parameters:
        beliefbase - a belief base
        formula - a formula
        Returns:
        the answer to the query