Package owl.ltl
Class FrequencyG
-
- All Implemented Interfaces:
Comparable<Formula>
public final class FrequencyG extends GOperator
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classFrequencyG.Comparisonstatic classFrequencyG.Limes-
Nested classes/interfaces inherited from class owl.ltl.Formula
Formula.LogicalOperator, Formula.ModalOperator, Formula.TemporalOperator
-
-
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 operand, 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 booleanequalsImpl(Formula o)booleanisPureEventual()booleanisPureUniversal()Formulannf()FrequencyGnot()Syntactically negate this formula.StringoperatorSymbol()StringtoString()FrequencyGunfold()-
Methods inherited from class owl.ltl.GOperator
accept, of, unfoldTemporalStep
-
Methods inherited from class owl.ltl.UnaryModalOperator
children, compareToImpl
-
Methods inherited from class owl.ltl.Formula.TemporalOperator
substitute, temporalStep, temporalStep, temporalStep, temporalStepUnfold
-
Methods inherited from class owl.ltl.Formula
allMatch, anyMatch, atomicPropositions, compareTo, equals, hashCode, height, isSuspendable, subformulas, subformulas, subformulas
-
-
-
-
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 operand, double bound, FrequencyG.Comparison cmp, FrequencyG.Limes limes)
-
-
Method Detail
-
accept
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
-
equalsImpl
protected boolean equalsImpl(Formula o)
- Overrides:
equalsImplin classUnaryModalOperator
-
operatorSymbol
public String operatorSymbol()
- Overrides:
operatorSymbolin classGOperator
-
isPureEventual
public boolean isPureEventual()
- Overrides:
isPureEventualin classGOperator
-
isPureUniversal
public boolean isPureUniversal()
- Overrides:
isPureUniversalin classGOperator
-
not
public FrequencyG not()
Description copied from class: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()
-
-