Modifier and Type | Class | Description |
---|---|---|
static class |
FrequencyG.Comparison |
|
static class |
FrequencyG.Limes |
Modifier and Type | Field | Description |
---|---|---|
double |
bound |
|
FrequencyG.Comparison |
cmp |
|
FrequencyG.Limes |
limes |
operand
Constructor | Description |
---|---|
FrequencyG(Formula f,
double bound,
FrequencyG.Comparison cmp,
FrequencyG.Limes limes) |
Modifier and Type | Method | Description |
---|---|---|
<A,B> A |
accept(BinaryVisitor<B,A> v,
B parameter) |
|
<R> R |
accept(Visitor<R> v) |
|
protected boolean |
equals2(ImmutableObject o) |
|
java.lang.String |
getOperator() |
|
protected int |
hashCodeOnce() |
|
boolean |
isPureEventual() |
|
boolean |
isPureUniversal() |
|
boolean |
isSuspendable() |
|
FrequencyG |
not() |
Syntactically negate this formula.
|
java.lang.String |
toString() |
|
FrequencyG |
unfold() |
accept, of, unfoldTemporalStep
equals, hashCode
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
allMatch, anyMatch, getOperand, temporalStep, temporalStepUnfold
public final double bound
public final FrequencyG.Comparison cmp
public final FrequencyG.Limes limes
public FrequencyG(Formula f, double bound, FrequencyG.Comparison cmp, FrequencyG.Limes limes)
public <R> R accept(Visitor<R> v)
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
protected boolean equals2(ImmutableObject o)
equals2
in class UnaryModalOperator
public java.lang.String getOperator()
getOperator
in class GOperator
protected int hashCodeOnce()
hashCodeOnce
in class GOperator
public boolean isPureEventual()
isPureEventual
in interface Formula
isPureEventual
in class GOperator
public boolean isPureUniversal()
isPureUniversal
in interface Formula
isPureUniversal
in class GOperator
public boolean isSuspendable()
isSuspendable
in interface Formula
isSuspendable
in class GOperator
public FrequencyG not()
Formula
public java.lang.String toString()
toString
in class UnaryModalOperator
public FrequencyG unfold()