edu.toronto.cs.yasm.util
Class Util

java.lang.Object
  extended by edu.toronto.cs.yasm.util.Util

public class Util
extends java.lang.Object


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

Field Detail

vc2

public static ValidityChecker vc2
Constructor Detail

Util

public Util()
Method Detail

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)