Formula
public final class BooleanConstant extends ImmutableObject implements Formula
Modifier and Type | Field | Description |
---|---|---|
static BooleanConstant |
FALSE |
|
static BooleanConstant |
TRUE |
|
boolean |
value |
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) |
|
boolean |
allMatch(java.util.function.Predicate<Formula> predicate) |
|
boolean |
anyMatch(java.util.function.Predicate<Formula> predicate) |
|
protected boolean |
equals2(ImmutableObject o) |
|
protected int |
hashCodeOnce() |
|
boolean |
isPureEventual() |
|
boolean |
isPureUniversal() |
|
boolean |
isSuspendable() |
|
BooleanConstant |
not() |
Syntactically negate this formula.
|
static BooleanConstant |
of(boolean value) |
|
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() |
|
Formula |
unfold() |
|
Formula |
unfoldTemporalStep(java.util.BitSet valuation) |
Short-cut operation to avoid intermediate construction of formula ASTs.
|
equals, hashCode
public static final BooleanConstant FALSE
public static final BooleanConstant TRUE
public final boolean value
public static BooleanConstant of(boolean value)
public int accept(IntVisitor v)
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
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
protected int hashCodeOnce()
hashCodeOnce
in class ImmutableObject
public boolean isPureEventual()
isPureEventual
in interface Formula
public boolean isPureUniversal()
isPureUniversal
in interface Formula
public boolean isSuspendable()
isSuspendable
in interface Formula
@Nonnull public BooleanConstant not()
Formula
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
public Formula unfoldTemporalStep(java.util.BitSet valuation)
Formula
unfoldTemporalStep
in interface Formula