Package owl.ltl.visitors
Interface IntVisitor
-
- All Known Implementing Classes:
PropositionalIntVisitor,PropositionVisitor,XDepthVisitor
public interface IntVisitor
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default intvisit(Biconditional biconditional)default intvisit(BooleanConstant booleanConstant)default intvisit(Conjunction conjunction)default intvisit(Disjunction disjunction)default intvisit(FOperator fOperator)default intvisit(FrequencyG freq)default intvisit(GOperator gOperator)default intvisit(Literal literal)default intvisit(MOperator mOperator)default intvisit(ROperator rOperator)default intvisit(UOperator uOperator)default intvisit(WOperator wOperator)default intvisit(XOperator xOperator)
-
-
-
Method Detail
-
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(FOperator fOperator)
-
visit
default int visit(FrequencyG freq)
-
visit
default int visit(GOperator gOperator)
-
visit
default int visit(Literal literal)
-
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)
-
-