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