Formula
public final class UOperator extends BinaryModalOperator
left, right
Modifier and Type | Method | Description |
---|---|---|
<A,B> A |
accept(BinaryVisitor<B,A> v,
B parameter) |
|
int |
accept(IntVisitor v) |
|
<R> R |
accept(Visitor<R> v) |
|
char |
getOperator() |
|
protected int |
hashCodeOnce() |
|
boolean |
isPureEventual() |
|
boolean |
isPureUniversal() |
|
boolean |
isSuspendable() |
|
ROperator |
not() |
Syntactically negate this formula.
|
static Formula |
of(Formula left,
Formula right) |
|
Formula |
unfold() |
|
Formula |
unfoldTemporalStep(java.util.BitSet valuation) |
Short-cut operation to avoid intermediate construction of formula ASTs.
|
allMatch, anyMatch, equals2, temporalStep, temporalStepUnfold, toString
equals, hashCode
public int accept(IntVisitor v)
public <R> R accept(Visitor<R> v)
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
public char getOperator()
getOperator
in class BinaryModalOperator
protected int hashCodeOnce()
hashCodeOnce
in class ImmutableObject
public boolean isPureEventual()
public boolean isPureUniversal()
public boolean isSuspendable()
public ROperator not()
Formula
public Formula unfold()