Formula
public final class Literal extends ImmutableObject implements Formula
Constructor | Description |
---|---|
Literal(int index) |
|
Literal(int index,
boolean negate) |
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) |
|
int |
getAtom() |
|
protected int |
hashCodeOnce() |
|
boolean |
isNegated() |
|
boolean |
isPureEventual() |
|
boolean |
isPureUniversal() |
|
boolean |
isSuspendable() |
|
Literal |
not() |
Syntactically negate this formula.
|
static Literal |
of(int index,
boolean negate) |
|
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 Literal(@Nonnegative int index)
public Literal(@Nonnegative int index, boolean negate)
public static Literal of(int index, boolean negate)
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
public int getAtom()
protected int hashCodeOnce()
hashCodeOnce
in class ImmutableObject
public boolean isNegated()
public boolean isPureEventual()
isPureEventual
in interface Formula
public boolean isPureUniversal()
isPureUniversal
in interface Formula
public boolean isSuspendable()
isSuspendable
in interface Formula
public Literal 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