BinaryVisitor<P,R>
public abstract class DefaultBinaryVisitor<P,R> extends java.lang.Object implements BinaryVisitor<P,R>
Constructor | Description |
---|---|
DefaultBinaryVisitor() |
Modifier and Type | Method | Description |
---|---|---|
protected R |
defaultAction(Formula formula,
P parameter) |
|
R |
visit(BooleanConstant booleanConstant,
P parameter) |
|
R |
visit(Conjunction conjunction,
P parameter) |
|
R |
visit(Disjunction disjunction,
P parameter) |
|
R |
visit(FOperator fOperator,
P parameter) |
|
R |
visit(GOperator gOperator,
P parameter) |
|
R |
visit(Literal literal,
P parameter) |
|
R |
visit(MOperator mOperator,
P parameter) |
|
R |
visit(ROperator rOperator,
P parameter) |
|
R |
visit(UOperator uOperator,
P parameter) |
|
R |
visit(WOperator wOperator,
P parameter) |
|
R |
visit(XOperator xOperator,
P parameter) |
public R visit(BooleanConstant booleanConstant, P parameter)
visit
in interface BinaryVisitor<P,R>
public R visit(Conjunction conjunction, P parameter)
visit
in interface BinaryVisitor<P,R>
public R visit(Disjunction disjunction, P parameter)
visit
in interface BinaryVisitor<P,R>
public R visit(FOperator fOperator, P parameter)
visit
in interface BinaryVisitor<P,R>
public R visit(GOperator gOperator, P parameter)
visit
in interface BinaryVisitor<P,R>
public R visit(Literal literal, P parameter)
visit
in interface BinaryVisitor<P,R>
public R visit(MOperator mOperator, P parameter)
visit
in interface BinaryVisitor<P,R>
public R visit(UOperator uOperator, P parameter)
visit
in interface BinaryVisitor<P,R>
public R visit(ROperator rOperator, P parameter)
visit
in interface BinaryVisitor<P,R>
public R visit(WOperator wOperator, P parameter)
visit
in interface BinaryVisitor<P,R>