edu.toronto.cs.yasm.util
Class Substitution

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

public class Substitution
extends java.lang.Object


Constructor Summary
Substitution(CVCLExprConverter _converter, ExprFactory _fac, java.util.Map _m)
           
 
Method Summary
 Expr __recConvert(Expr e)
           
 java.util.List convert(java.util.List l)
           
 Expr recConvert(Expr expr)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Substitution

public Substitution(CVCLExprConverter _converter,
                    ExprFactory _fac,
                    java.util.Map _m)
Method Detail

convert

public java.util.List convert(java.util.List l)

recConvert

public Expr recConvert(Expr expr)

__recConvert

public Expr __recConvert(Expr e)