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)
Copyright ? 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 Hewlett-Packard Development Company, LP