Modifier and Type | Method | Description |
---|---|---|
boolean |
allMatch(java.util.function.Predicate<Formula> predicate) |
|
boolean |
anyMatch(java.util.function.Predicate<Formula> predicate) |
|
protected boolean |
equals2(ImmutableObject o) |
|
Formula |
getOperand() |
|
abstract java.lang.String |
getOperator() |
|
Formula |
temporalStep(java.util.BitSet valuation) |
Do a single temporal step.
|
Formula |
temporalStepUnfold(java.util.BitSet valuation) |
Short-cut operation to avoid intermediate construction of formula ASTs.
|
java.lang.String |
toString() |
accept, accept, accept, isPureEventual, isPureUniversal, isSuspendable, not, unfold, unfoldTemporalStep
equals, hashCode, hashCodeOnce
public final Formula operand
public boolean allMatch(java.util.function.Predicate<Formula> predicate)
public boolean anyMatch(java.util.function.Predicate<Formula> predicate)
protected boolean equals2(ImmutableObject o)
equals2
in class ImmutableObject
public Formula getOperand()
public abstract java.lang.String getOperator()
public Formula temporalStep(java.util.BitSet valuation)
Formula
temporalStep
in interface Formula
public Formula temporalStepUnfold(java.util.BitSet valuation)
Formula
temporalStepUnfold
in interface Formula
public java.lang.String toString()
toString
in class java.lang.Object