Package owl.ltl
Class FrequencyG
- java.lang.Object
-
- owl.ltl.AbstractFormula
-
- owl.ltl.UnaryModalOperator
-
- owl.ltl.GOperator
-
- owl.ltl.FrequencyG
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
FrequencyG.Comparison
static class
FrequencyG.Limes
-
Field Summary
Fields Modifier and Type Field Description double
bound
FrequencyG.Comparison
cmp
FrequencyG.Limes
limes
-
Fields inherited from class owl.ltl.UnaryModalOperator
operand
-
-
Constructor Summary
Constructors Constructor Description FrequencyG(Formula f, double bound, FrequencyG.Comparison cmp, FrequencyG.Limes limes)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <A,B> A
accept(BinaryVisitor<B,A> v, B parameter)
<R> R
accept(Visitor<R> v)
protected boolean
equals2(AbstractFormula o)
String
getOperator()
protected int
hashCodeOnce()
boolean
isPureEventual()
boolean
isPureUniversal()
boolean
isSuspendable()
Formula
nnf()
FrequencyG
not()
Syntactically negate this formula.String
toString()
FrequencyG
unfold()
-
Methods inherited from class owl.ltl.AbstractFormula
equals, hashCode
-
Methods inherited from class owl.ltl.GOperator
accept, of, unfoldTemporalStep
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from class owl.ltl.UnaryModalOperator
allMatch, anyMatch, getOperand, temporalStep, temporalStepUnfold
-
-
-
-
Field Detail
-
bound
public final double bound
-
cmp
public final FrequencyG.Comparison cmp
-
limes
public final FrequencyG.Limes limes
-
-
Constructor Detail
-
FrequencyG
public FrequencyG(Formula f, double bound, FrequencyG.Comparison cmp, FrequencyG.Limes limes)
-
-
Method Detail
-
accept
public <R> R accept(Visitor<R> v)
-
accept
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
-
equals2
protected boolean equals2(AbstractFormula o)
- Overrides:
equals2
in classUnaryModalOperator
-
getOperator
public String getOperator()
- Overrides:
getOperator
in classGOperator
-
hashCodeOnce
protected int hashCodeOnce()
- Overrides:
hashCodeOnce
in classUnaryModalOperator
-
isPureEventual
public boolean isPureEventual()
- Specified by:
isPureEventual
in interfaceFormula
- Overrides:
isPureEventual
in classGOperator
-
isPureUniversal
public boolean isPureUniversal()
- Specified by:
isPureUniversal
in interfaceFormula
- Overrides:
isPureUniversal
in classGOperator
-
isSuspendable
public boolean isSuspendable()
- Specified by:
isSuspendable
in interfaceFormula
- Overrides:
isSuspendable
in classGOperator
-
not
public FrequencyG not()
Description copied from interface:Formula
Syntactically negate this formula.If this formula is in NNF, the returned negation will also be in NNF.
-
toString
public String toString()
- Overrides:
toString
in classUnaryModalOperator
-
unfold
public FrequencyG unfold()
-
-