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(Collection<SortCondition> sortConditions) |
static Set<Var> |
getVarsMentioned(Expr expr) |
static Set<Var> |
getVarsMentioned(ExprList exprs) |
static Set<Var> |
getVarsMentioned(SortCondition sortCondition) |
static void |
nonOpVarsMentioned(Collection<Var> acc,
Expr expr) |
static void |
varNamesMentioned(Collection<String> acc,
Expr expr) |
static void |
varsMentioned(Collection<Var> acc,
Collection<SortCondition> sortConditions) |
static void |
varsMentioned(Collection<Var> acc,
Expr expr) |
static void |
varsMentioned(Collection<Var> acc,
SortCondition sortCondition) |
public static void varsMentioned(Collection<Var> acc, Expr expr)
public static void nonOpVarsMentioned(Collection<Var> acc, Expr expr)
public static void varNamesMentioned(Collection<String> acc, Expr expr)
public static Set<Var> getVarsMentioned(SortCondition sortCondition)
public static Set<Var> getVarsMentioned(Collection<SortCondition> sortConditions)
public static void varsMentioned(Collection<Var> acc, SortCondition sortCondition)
public static void varsMentioned(Collection<Var> acc, Collection<SortCondition> sortConditions)
Licenced under the Apache License, Version 2.0