edu.toronto.cs.yasm.util
Class Util
java.lang.Object
edu.toronto.cs.yasm.util.Util
public class Util
- extends java.lang.Object
Constructor Summary |
Util()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
vc2
public static ValidityChecker vc2
Util
public Util()
cleanVector
public static CVectorExpr cleanVector(CVectorExpr v)
printVector
public static void printVector(CVectorExpr e)
printList
public static void printList(java.util.List l)
substituteVars
public static void substituteVars(Expr e,
java.util.Map varMap)
preSubstitution
public static Expr preSubstitution(Expr e)
belong
public static boolean belong(Expr e,
java.util.List l)
fListToVector
public static CVectorExpr fListToVector(java.util.List l)
fVectorToList
public static java.util.List fVectorToList(CVectorExpr v)
findIndex
public static int findIndex(Expr e,
java.util.List l)