IntVisitor
XDepthVisitor
public abstract class DefaultIntVisitor extends java.lang.Object implements IntVisitor
Constructor | Description |
---|---|
DefaultIntVisitor() |
Modifier and Type | Method | Description |
---|---|---|
protected int |
defaultAction(Formula formula) |
|
int |
visit(BooleanConstant booleanConstant) |
|
int |
visit(Conjunction conjunction) |
|
int |
visit(Disjunction disjunction) |
|
int |
visit(FOperator fOperator) |
|
int |
visit(FrequencyG freq) |
|
int |
visit(GOperator gOperator) |
|
int |
visit(Literal literal) |
|
int |
visit(MOperator mOperator) |
|
int |
visit(ROperator rOperator) |
|
int |
visit(UOperator uOperator) |
|
int |
visit(WOperator wOperator) |
|
int |
visit(XOperator xOperator) |
protected int defaultAction(Formula formula)
public int visit(BooleanConstant booleanConstant)
visit
in interface IntVisitor
public int visit(Conjunction conjunction)
visit
in interface IntVisitor
public int visit(Disjunction disjunction)
visit
in interface IntVisitor
public int visit(FOperator fOperator)
visit
in interface IntVisitor
public int visit(FrequencyG freq)
visit
in interface IntVisitor
public int visit(GOperator gOperator)
visit
in interface IntVisitor
public int visit(Literal literal)
visit
in interface IntVisitor
public int visit(MOperator mOperator)
visit
in interface IntVisitor
public int visit(ROperator rOperator)
visit
in interface IntVisitor
public int visit(UOperator uOperator)
visit
in interface IntVisitor
public int visit(WOperator wOperator)
visit
in interface IntVisitor
public int visit(XOperator xOperator)
visit
in interface IntVisitor