Uses of Interface
net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

Packages that use HighLevelOperationVisitor

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

Uses of HighLevelOperationVisitor in net.sf.bddbddb.dataflow

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

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

Uses of HighLevelOperationVisitor in net.sf.bddbddb.ir

Subinterfaces of HighLevelOperationVisitor in net.sf.bddbddb.ir

interface	OperationInterpreter OperationInterpreter
interface	OperationVisitor OperationVisitor

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

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

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

Subinterfaces of HighLevelOperationVisitor in net.sf.bddbddb.ir.highlevel

interface

HighLevelInterpreter HighLevelInterpreter

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

java.lang.Object	Save.visit(HighLevelOperationVisitor i)
java.lang.Object	Load.visit(HighLevelOperationVisitor i)
java.lang.Object	Copy.visit(HighLevelOperationVisitor i)
java.lang.Object	Invert.visit(HighLevelOperationVisitor i)
java.lang.Object	Zero.visit(HighLevelOperationVisitor i)
java.lang.Object	Universe.visit(HighLevelOperationVisitor i)
java.lang.Object	Free.visit(HighLevelOperationVisitor i)
java.lang.Object	JoinConstant.visit(HighLevelOperationVisitor i)
java.lang.Object	Difference.visit(HighLevelOperationVisitor i)
java.lang.Object	Union.visit(HighLevelOperationVisitor i)
java.lang.Object	Project.visit(HighLevelOperationVisitor i)
java.lang.Object	Join.visit(HighLevelOperationVisitor i)
abstract java.lang.Object	HighLevelOperation.visit(HighLevelOperationVisitor i)
java.lang.Object	Rename.visit(HighLevelOperationVisitor i)