Package owl.ltl.visitors
Class PropositionalIntVisitor
- java.lang.Object
-
- owl.ltl.visitors.PropositionalIntVisitor
-
- All Implemented Interfaces:
IntVisitor
public abstract class PropositionalIntVisitor extends Object implements IntVisitor
Visitor skeleton implementation that views the formula as propositional formula. For this reason all methods for modal operators are final and need to be handled uniformly.
-
-
Constructor Summary
Constructors Constructor Description PropositionalIntVisitor()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract intmodalOperatorAction(Formula formula)intvisit(FOperator fOperator)intvisit(FrequencyG freq)intvisit(GOperator gOperator)intvisit(Literal literal)intvisit(MOperator mOperator)intvisit(ROperator rOperator)intvisit(UOperator uOperator)intvisit(WOperator wOperator)intvisit(XOperator xOperator)-
Methods inherited from interface owl.ltl.visitors.IntVisitor
visit, visit, visit, visit
-
-
-
-
Method Detail
-
modalOperatorAction
protected abstract int modalOperatorAction(Formula formula)
-
visit
public final int visit(FOperator fOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public final int visit(FrequencyG freq)
- Specified by:
visitin interfaceIntVisitor
-
visit
public final int visit(GOperator gOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public final int visit(Literal literal)
- Specified by:
visitin interfaceIntVisitor
-
visit
public final int visit(MOperator mOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public final int visit(ROperator rOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public final int visit(UOperator uOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public final int visit(WOperator wOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public final int visit(XOperator xOperator)
- Specified by:
visitin interfaceIntVisitor
-
-