Package owl.ltl.visitors
Interface IntVisitor
-
- All Superinterfaces:
ToIntFunction<Formula>
- All Known Implementing Classes:
PropositionalIntVisitor,XDepthVisitor
public interface IntVisitor extends ToIntFunction<Formula>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default intapplyAsInt(Formula value)default intvisit(Biconditional biconditional)default intvisit(BooleanConstant booleanConstant)default intvisit(Conjunction conjunction)default intvisit(Disjunction disjunction)default intvisit(FOperator fOperator)default intvisit(GOperator gOperator)default intvisit(Literal literal)default intvisit(MOperator mOperator)default intvisit(Negation negation)default intvisit(ROperator rOperator)default intvisit(UOperator uOperator)default intvisit(WOperator wOperator)default intvisit(XOperator xOperator)
-
-
-
Method Detail
-
applyAsInt
default int applyAsInt(Formula value)
- Specified by:
applyAsIntin interfaceToIntFunction<Formula>
-
visit
default int visit(Biconditional biconditional)
-
visit
default int visit(BooleanConstant booleanConstant)
-
visit
default int visit(Conjunction conjunction)
-
visit
default int visit(Disjunction disjunction)
-
visit
default int visit(Literal literal)
-
visit
default int visit(Negation negation)
-
visit
default int visit(FOperator fOperator)
-
visit
default int visit(GOperator gOperator)
-
visit
default int visit(MOperator mOperator)
-
visit
default int visit(ROperator rOperator)
-
visit
default int visit(UOperator uOperator)
-
visit
default int visit(WOperator wOperator)
-
visit
default int visit(XOperator xOperator)
-
-