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 classFrequencyG.Comparisonstatic classFrequencyG.Limes
-
Field Summary
Fields Modifier and Type Field Description doubleboundFrequencyG.ComparisoncmpFrequencyG.Limeslimes-
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> Aaccept(BinaryVisitor<B,A> v, B parameter)<R> Raccept(Visitor<R> v)protected booleanequals2(AbstractFormula o)StringgetOperator()protected inthashCodeOnce()booleanisPureEventual()booleanisPureUniversal()booleanisSuspendable()Formulannf()FrequencyGnot()Syntactically negate this formula.StringtoString()FrequencyGunfold()-
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:
equals2in classUnaryModalOperator
-
getOperator
public String getOperator()
- Overrides:
getOperatorin classGOperator
-
hashCodeOnce
protected int hashCodeOnce()
- Overrides:
hashCodeOncein classUnaryModalOperator
-
isPureEventual
public boolean isPureEventual()
- Specified by:
isPureEventualin interfaceFormula- Overrides:
isPureEventualin classGOperator
-
isPureUniversal
public boolean isPureUniversal()
- Specified by:
isPureUniversalin interfaceFormula- Overrides:
isPureUniversalin classGOperator
-
isSuspendable
public boolean isSuspendable()
- Specified by:
isSuspendablein interfaceFormula- Overrides:
isSuspendablein classGOperator
-
not
public FrequencyG not()
Description copied from interface:FormulaSyntactically negate this formula.If this formula is in NNF, the returned negation will also be in NNF.
-
toString
public String toString()
- Overrides:
toStringin classUnaryModalOperator
-
unfold
public FrequencyG unfold()
-
-