|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ExpressionVisitor
Method Summary | |
---|---|
void |
visit(BooleanExpression expr)
|
void |
visit(ExistsExpression expr)
|
void |
visit(Expression expr)
|
void |
visit(ForAllExpression expr)
|
void |
visit(ImpliesExpression expr)
|
void |
visit(JavaExpression expr)
|
Method Detail |
---|
void visit(Expression expr)
void visit(BooleanExpression expr)
void visit(ForAllExpression expr)
void visit(ExistsExpression expr)
void visit(ImpliesExpression expr)
void visit(JavaExpression expr)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |