IntVisitor
public class XDepthVisitor extends DefaultIntVisitor
Constructor | Description |
---|---|
XDepthVisitor() |
Modifier and Type | Method | Description |
---|---|---|
protected int |
defaultAction(Formula formula) |
|
static int |
getDepth(Formula formula) |
|
int |
visit(BooleanConstant booleanConstant) |
|
int |
visit(Conjunction conjunction) |
|
int |
visit(Disjunction disjunction) |
|
int |
visit(FOperator fOperator) |
|
int |
visit(GOperator gOperator) |
|
int |
visit(Literal literal) |
|
int |
visit(XOperator xOperator) |
@Nonnegative public static int getDepth(Formula formula)
@Nonnegative protected int defaultAction(Formula formula)
defaultAction
in class DefaultIntVisitor
@Nonnegative public int visit(FOperator fOperator)
visit
in interface IntVisitor
visit
in class DefaultIntVisitor
@Nonnegative public int visit(GOperator gOperator)
visit
in interface IntVisitor
visit
in class DefaultIntVisitor
@Nonnegative public int visit(BooleanConstant booleanConstant)
visit
in interface IntVisitor
visit
in class DefaultIntVisitor
@Nonnegative public int visit(Conjunction conjunction)
visit
in interface IntVisitor
visit
in class DefaultIntVisitor
@Nonnegative public int visit(Disjunction disjunction)
visit
in interface IntVisitor
visit
in class DefaultIntVisitor
@Nonnegative public int visit(Literal literal)
visit
in interface IntVisitor
visit
in class DefaultIntVisitor
@Nonnegative public int visit(XOperator xOperator)
visit
in interface IntVisitor
visit
in class DefaultIntVisitor