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 class
FrequencyG.Comparison
static class
FrequencyG.Limes
-
Nested classes/interfaces inherited from class owl.ltl.Formula
Formula.LogicalOperator, Formula.ModalOperator, Formula.TemporalOperator
-
-
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 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> R
accept(Visitor<R> v)
protected boolean
equalsImpl(Formula o)
boolean
isPureEventual()
boolean
isPureUniversal()
Formula
nnf()
FrequencyG
not()
Syntactically negate this formula.String
operatorSymbol()
String
toString()
FrequencyG
unfold()
-
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:
equalsImpl
in classUnaryModalOperator
-
operatorSymbol
public String operatorSymbol()
- Overrides:
operatorSymbol
in classGOperator
-
isPureEventual
public boolean isPureEventual()
- Overrides:
isPureEventual
in classGOperator
-
isPureUniversal
public boolean isPureUniversal()
- Overrides:
isPureUniversal
in classGOperator
-
not
public FrequencyG not()
Description copied from class: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()
-
-