public static class Expression.Util extends Object
| Constructor and Description |
|---|
Expression.Util() |
| Modifier and Type | Method and Description |
|---|---|
static Set<String> |
addVariablesOf(Set<String> s,
Expression e)
Add all the variables of
e to s, and answer
s. |
static boolean |
containsAllVariablesOf(Set<String> variables,
Expression e) |
static boolean |
equals(Expression L,
Expression R) |
static boolean |
sameApply(Expression L,
Expression R) |
static boolean |
sameArgs(Expression L,
Expression R) |
static Set<String> |
variablesOf(Expression e)
Answer a set containing exactly the names of variables within
e. |
public static Set<String> variablesOf(Expression e)
e.public static Set<String> addVariablesOf(Set<String> s, Expression e)
e to s, and answer
s.public static boolean containsAllVariablesOf(Set<String> variables, Expression e)
public static boolean equals(Expression L, Expression R)
public static boolean sameApply(Expression L, Expression R)
public static boolean sameArgs(Expression L, Expression R)
Licenced under the Apache License, Version 2.0