Formula
public class FOperator extends UnaryModalOperator
operand
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) |
|
java.lang.String |
getOperator() |
|
protected int |
hashCodeOnce() |
|
boolean |
isPureEventual() |
|
boolean |
isPureUniversal() |
|
boolean |
isSuspendable() |
|
GOperator |
not() |
Syntactically negate this formula.
|
static Formula |
of(Formula operand) |
|
Formula |
unfold() |
|
Formula |
unfoldTemporalStep(java.util.BitSet valuation) |
Short-cut operation to avoid intermediate construction of formula ASTs.
|
equals, hashCode
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
allMatch, anyMatch, equals2, getOperand, temporalStep, temporalStepUnfold, toString
public FOperator(Formula f)
public int accept(IntVisitor v)
public <R> R accept(Visitor<R> v)
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
public java.lang.String getOperator()
getOperator
in class UnaryModalOperator
protected int hashCodeOnce()
hashCodeOnce
in class ImmutableObject
public boolean isPureEventual()
public boolean isPureUniversal()
public boolean isSuspendable()
public GOperator not()
Formula
public Formula unfold()