Package owl.ltl
Class ROperator
- java.lang.Object
-
- owl.ltl.AbstractFormula
-
- owl.ltl.BinaryModalOperator
-
- owl.ltl.ROperator
-
- All Implemented Interfaces:
Formula
public final class ROperator extends BinaryModalOperator
Weak Release.
-
-
Field Summary
-
Fields inherited from class owl.ltl.BinaryModalOperator
left, right
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description <A,B> Aaccept(BinaryVisitor<B,A> v, B parameter)intaccept(IntVisitor v)<R> Raccept(Visitor<R> v)chargetOperator()booleanisPureEventual()booleanisPureUniversal()booleanisSuspendable()Formulannf()Formulanot()Syntactically negate this formula.static Formulaof(Formula leftOperand, Formula rightOperand)Construct a LTL-equivalent formula for (leftOperand)R(rightOperand).Formulaunfold()FormulaunfoldTemporalStep(BitSet valuation)Short-cut operation to avoid intermediate construction of formula ASTs.-
Methods inherited from class owl.ltl.AbstractFormula
equals, hashCode
-
Methods inherited from class owl.ltl.BinaryModalOperator
allMatch, anyMatch, equals2, hashCodeOnce, temporalStep, temporalStepUnfold, toString
-
-
-
-
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.- Parameters:
leftOperand- The left operand of the R-operatorrightOperand- The right operand of the R-operator- Returns:
- a formula equivalent to (leftOperand)R(rightOperand)
-
accept
public int accept(IntVisitor v)
-
accept
public <R> R accept(Visitor<R> v)
-
accept
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
-
getOperator
public char getOperator()
- Specified by:
getOperatorin classBinaryModalOperator
-
isPureEventual
public boolean isPureEventual()
-
isPureUniversal
public boolean isPureUniversal()
-
isSuspendable
public boolean isSuspendable()
-
nnf
public Formula nnf()
-
not
public Formula not()
Description copied from interface:FormulaSyntactically negate this formula.If this formula is in NNF, the returned negation will also be in NNF.
- Returns:
- the negation of this formula.
-
unfold
public Formula unfold()
-
-