Class RpclMeReasoner

    • Field Detail

      • STANDARD_INFERENCE

        public static final int STANDARD_INFERENCE
        Integer constant for standard inference.
        See Also:
        Constant Field Values
      • LIFTED_INFERENCE

        public static final int LIFTED_INFERENCE
        Integer constant for lifted inference.
        See Also:
        Constant Field Values
    • Constructor Detail

      • RpclMeReasoner

        public RpclMeReasoner​(RpclSemantics semantics,
                              int inferenceType)
        Creates a new reasoner.
        Parameters:
        semantics - the semantics for this reasoner.
        inferenceType - one of RpclMeReasoner.STANDARD_INFERENCE or RpclMeReasoner.LIFTED_INFERENCE
      • RpclMeReasoner

        public RpclMeReasoner​(RpclSemantics semantics)
        Creates a new reasoner.
        Parameters:
        semantics - the semantics for this reasoner.