Package owl.ltl.visitors
Class XDepthVisitor
- java.lang.Object
-
- owl.ltl.visitors.XDepthVisitor
-
- All Implemented Interfaces:
ToIntFunction<Formula>,IntVisitor
public class XDepthVisitor extends Object implements IntVisitor
-
-
Constructor Summary
Constructors Constructor Description XDepthVisitor()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static intgetDepth(Formula formula)intvisit(BooleanConstant booleanConstant)intvisit(Conjunction conjunction)intvisit(Disjunction disjunction)intvisit(FOperator fOperator)intvisit(GOperator gOperator)intvisit(Literal literal)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, visit
-
-
-
-
Method Detail
-
getDepth
@Nonnegative public static int getDepth(Formula formula)
-
visit
@Nonnegative public int visit(FOperator fOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
@Nonnegative public int visit(GOperator gOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
@Nonnegative public int visit(BooleanConstant booleanConstant)
- Specified by:
visitin interfaceIntVisitor
-
visit
@Nonnegative public int visit(Conjunction conjunction)
- Specified by:
visitin interfaceIntVisitor
-
visit
@Nonnegative public int visit(Disjunction disjunction)
- Specified by:
visitin interfaceIntVisitor
-
visit
@Nonnegative public int visit(Literal literal)
- Specified by:
visitin interfaceIntVisitor
-
visit
@Nonnegative public int visit(XOperator xOperator)
- Specified by:
visitin interfaceIntVisitor
-
-