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

Packages that use Universe

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

Uses of Universe in net.sf.bddbddb.dataflow

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

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

Uses of Universe in net.sf.bddbddb.ir

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

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

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

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

java.lang.Object

HighLevelOperationVisitor.visit(Universe op)