Uses of Class
net.sf.bddbddb.ir.highlevel.Rename

Packages that use Rename

net.sf.bddbddb.dataflow
net.sf.bddbddb.ir
net.sf.bddbddb.ir.highlevel

Uses of Rename in net.sf.bddbddb.dataflow

Methods in net.sf.bddbddb.dataflow with parameters of type Rename

java.lang.Object	ConstantProp.ConstantPropTF.visit(Rename op)
java.lang.Object	ConstantProp.SimplifyVisitor.visit(Rename op)
java.lang.Object	PartialOrder.PartialOrderTF.visit(Rename op)

Uses of Rename in net.sf.bddbddb.ir

Methods in net.sf.bddbddb.ir with parameters of type Rename

java.lang.Object	DomainAssignment.visit(Rename op)
java.lang.Object	BDDOperationInterpreter.visit(Rename op)

Uses of Rename in net.sf.bddbddb.ir.highlevel

Methods in net.sf.bddbddb.ir.highlevel with parameters of type Rename

java.lang.Object

HighLevelOperationVisitor.visit(Rename op)