Formula
public final class Disjunction extends PropositionalFormula
children
Constructor | Description |
---|---|
Disjunction(java.lang.Iterable<? extends Formula> disjuncts) |
|
Disjunction(java.util.stream.Stream<? extends Formula> formulaStream) |
|
Disjunction(Formula... disjuncts) |
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) |
|
protected char |
getOperator() |
|
protected int |
hashCodeOnce() |
|
Formula |
not() |
Syntactically negate this formula.
|
static Formula |
of(java.lang.Iterable<? extends Formula> iterable) |
|
static Formula |
of(java.util.Iterator<? extends Formula> iterator) |
|
static Formula |
of(java.util.stream.Stream<? extends Formula> stream) |
|
static Formula |
of(Formula... formulas) |
|
static Formula |
of(Formula left,
Formula right) |
|
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, forEach, isPureEventual, isPureUniversal, isSuspendable, map, toString
public Disjunction(java.lang.Iterable<? extends Formula> disjuncts)
public Disjunction(Formula... disjuncts)
public Disjunction(java.util.stream.Stream<? extends Formula> formulaStream)
public int accept(IntVisitor v)
public <R> R accept(Visitor<R> v)
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
protected char getOperator()
getOperator
in class PropositionalFormula
protected int hashCodeOnce()
hashCodeOnce
in class ImmutableObject
public Formula not()
Formula
public Formula temporalStep(java.util.BitSet valuation)
Formula
public Formula temporalStepUnfold(java.util.BitSet valuation)
Formula
public Formula unfold()