Uses of Class
escjava.ast.GeneralizedQuantifiedExpr

Packages that use GeneralizedQuantifiedExpr

escjava.ast

Uses of GeneralizedQuantifiedExpr in escjava.ast

Methods in escjava.ast that return GeneralizedQuantifiedExpr

static GeneralizedQuantifiedExpr

GeneralizedQuantifiedExpr.make(int sloc, int eloc, int quantifier, GenericVarDeclVec vars, Expr expr, Expr rangeExpr, ExprVec nopats)

Methods in escjava.ast with parameters of type GeneralizedQuantifiedExpr

java.lang.Object	VisitorArgResult.visitGeneralizedQuantifiedExpr(GeneralizedQuantifiedExpr x, java.lang.Object o)
void	Visitor.visitGeneralizedQuantifiedExpr(GeneralizedQuantifiedExpr x)