Uses of Class
net.sf.bddbddb.ir.lowlevel.Replace

Packages that use Replace

net.sf.bddbddb.dataflow
net.sf.bddbddb.ir
net.sf.bddbddb.ir.lowlevel

Uses of Replace in net.sf.bddbddb.dataflow

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

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

Uses of Replace in net.sf.bddbddb.ir

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

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

Uses of Replace in net.sf.bddbddb.ir.lowlevel

Methods in net.sf.bddbddb.ir.lowlevel with parameters of type Replace

java.lang.Object

LowLevelOperationVisitor.visit(Replace op)