public class ExprVars extends Object
| Constructor and Description |
|---|
ExprVars() |
| Modifier and Type | Method and Description |
|---|---|
static Set<String> |
getVarNamesMentioned(Expr expr) |
static Set<Var> |
getVarsMentioned(Expr expr) |
static Set<Var> |
getVarsMentioned(ExprList exprs) |
static void |
varNamesMentioned(Collection<String> acc,
Expr expr) |
static void |
varsMentioned(Collection<Var> acc,
Expr expr) |
public static void varsMentioned(Collection<Var> acc, Expr expr)
public static void varNamesMentioned(Collection<String> acc, Expr expr)
Licenced under the Apache License, Version 2.0