Package owl.ltl.visitors
Class PropositionalIntVisitor
- java.lang.Object
-
- owl.ltl.visitors.PropositionalIntVisitor
-
- All Implemented Interfaces:
ToIntFunction<Formula>,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 intvisit(FOperator fOperator)protected abstract intvisit(Formula.TemporalOperator formula)intvisit(GOperator gOperator)abstract intvisit(Literal literal)intvisit(MOperator mOperator)intvisit(ROperator rOperator)intvisit(UOperator uOperator)intvisit(WOperator wOperator)intvisit(XOperator xOperator)-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface owl.ltl.visitors.IntVisitor
applyAsInt, visit, visit, visit, visit, visit
-
-
-
-
Method Detail
-
visit
protected abstract int visit(Formula.TemporalOperator formula)
-
visit
public abstract int visit(Literal literal)
- Specified by:
visitin interfaceIntVisitor
-
visit
public final int visit(FOperator fOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public final int visit(GOperator gOperator)
- 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
-
-