Package owl.ltl

Class ROperator

    • Constructor Detail

      • ROperator

        public ROperator​(Formula leftOperand,
                         Formula rightOperand)
    • Method Detail

      • of

        public static Formula of​(Formula leftOperand,
                                 Formula rightOperand)
        Construct a LTL-equivalent formula for (leftOperand)R(rightOperand). The method examines the operands and might choose to construct a simpler formula. However, the size of the syntax tree is not increased. In order to syntactically construct (leftOperand)R(rightOperand) use the constructor.
        leftOperand - The left operand of the R-operator
        rightOperand - The right operand of the R-operator
        a formula equivalent to (leftOperand)R(rightOperand)
      • not

        public Formula not()
        Description copied from class: Formula
        Syntactically negate this formula.

        If this formula is in NNF, the returned negation will also be in NNF.

        Specified by:
        not in class Formula
        the negation of this formula.