Formula
public final class XOperator 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() |
|
Formula |
not() |
Syntactically negate this formula.
|
static Formula |
of(Formula operand) |
|
static Formula |
of(Formula operand,
int n) |
|
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.
|
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, toString
public XOperator(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 Formula not()
Formula
public Formula temporalStep(java.util.BitSet valuation)
Formula
temporalStep
in interface Formula
temporalStep
in class UnaryModalOperator
public Formula temporalStepUnfold(java.util.BitSet valuation)
Formula
temporalStepUnfold
in interface Formula
temporalStepUnfold
in class UnaryModalOperator
public Formula unfold()