Formula
Conjunction
, Disjunction
public abstract class PropositionalFormula extends ImmutableObject implements Formula
Modifier and Type | Field | Description |
---|---|---|
com.google.common.collect.ImmutableSet<Formula> |
children |
Modifier and Type | Method | Description |
---|---|---|
boolean |
allMatch(java.util.function.Predicate<Formula> p) |
|
boolean |
anyMatch(java.util.function.Predicate<Formula> p) |
|
boolean |
equals2(ImmutableObject o) |
|
void |
forEach(java.util.function.Consumer<Formula> consumer) |
|
protected abstract char |
getOperator() |
|
boolean |
isPureEventual() |
|
boolean |
isPureUniversal() |
|
boolean |
isSuspendable() |
|
<T> java.util.stream.Stream<T> |
map(java.util.function.Function<Formula,T> mapper) |
|
java.lang.String |
toString() |
accept, accept, accept, not, temporalStep, temporalStepUnfold, unfold, unfoldTemporalStep
equals, hashCode, hashCodeOnce
public final com.google.common.collect.ImmutableSet<Formula> children
public boolean allMatch(java.util.function.Predicate<Formula> p)
public boolean anyMatch(java.util.function.Predicate<Formula> p)
public boolean equals2(ImmutableObject o)
equals2
in class ImmutableObject
public void forEach(java.util.function.Consumer<Formula> consumer)
protected abstract char getOperator()
public boolean isPureEventual()
isPureEventual
in interface Formula
public boolean isPureUniversal()
isPureUniversal
in interface Formula
public boolean isSuspendable()
isSuspendable
in interface Formula
public <T> java.util.stream.Stream<T> map(java.util.function.Function<Formula,T> mapper)
public java.lang.String toString()
toString
in class java.lang.Object