Uses of Interface
net.sf.bddbddb.ir.lowlevel.LowLevelOperationVisitor

Packages that use LowLevelOperationVisitor

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

Uses of LowLevelOperationVisitor in net.sf.bddbddb.dataflow

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

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

Uses of LowLevelOperationVisitor in net.sf.bddbddb.ir

Subinterfaces of LowLevelOperationVisitor in net.sf.bddbddb.ir

interface	OperationInterpreter OperationInterpreter
interface	OperationVisitor OperationVisitor

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

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

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

Subinterfaces of LowLevelOperationVisitor in net.sf.bddbddb.ir.lowlevel

interface

LowLevelInterpreter LowLevelInterpreter

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

java.lang.Object	BDDProject.visit(LowLevelOperationVisitor i)
java.lang.Object	Replace.visit(LowLevelOperationVisitor i)
abstract java.lang.Object	LowLevelOperation.visit(LowLevelOperationVisitor i)
java.lang.Object	ApplyEx.visit(LowLevelOperationVisitor i)