Uses of Interface
net.sf.bddbddb.ir.dynamic.DynamicOperationVisitor

Packages that use DynamicOperationVisitor

net.sf.bddbddb.dataflow
net.sf.bddbddb.ir
net.sf.bddbddb.ir.dynamic

Uses of DynamicOperationVisitor in net.sf.bddbddb.dataflow

Classes in net.sf.bddbddb.dataflow that implement DynamicOperationVisitor

class	ConstantProp.ConstantPropTF
class	ConstantProp.SimplifyVisitor
class	PartialOrder.PartialOrderTF

Uses of DynamicOperationVisitor in net.sf.bddbddb.ir

Subinterfaces of DynamicOperationVisitor in net.sf.bddbddb.ir

interface	OperationInterpreter OperationInterpreter
interface	OperationVisitor OperationVisitor

Classes in net.sf.bddbddb.ir that implement DynamicOperationVisitor

class	BDDOperationInterpreter BDDOperationInterpreter
class	DomainAssignment DomainAssignment
class	PartialOrderDomainAssignment PartialOrderDomainAssignment
class	UFDomainAssignment Performs domain assignment based on a union-find data structure.

Uses of DynamicOperationVisitor in net.sf.bddbddb.ir.dynamic

Subinterfaces of DynamicOperationVisitor in net.sf.bddbddb.ir.dynamic

interface

DynamicInterpreter DynamicInterpreter

Methods in net.sf.bddbddb.ir.dynamic with parameters of type DynamicOperationVisitor

abstract java.lang.Object	DynamicOperation.visit(DynamicOperationVisitor i)
java.lang.Object	Nop.visit(DynamicOperationVisitor i)
java.lang.Object	If.visit(DynamicOperationVisitor i)