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) |
|
abstract char |
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 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 abstract char 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