public class ForallAstVisitor extends AstIterVisitor<java.lang.Boolean>
combine, defaultVal, eva, exprVisitor
Constructor and Description |
---|
ForallAstVisitor(ForallExprVisitor v)
Visits all statements for checking invariants over statements.
|
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
public ForallAstVisitor(ForallExprVisitor v)
v
-