net.sf.bddbddb.ir
Interface OperationVisitor

All Superinterfaces:

DynamicOperationVisitor, HighLevelOperationVisitor, LowLevelOperationVisitor

All Known Subinterfaces:

OperationInterpreter

All Known Implementing Classes:

BDDOperationInterpreter, ConstantProp.ConstantPropTF, ConstantProp.SimplifyVisitor, DomainAssignment, PartialOrder.PartialOrderTF, PartialOrderDomainAssignment, UFDomainAssignment

public interface OperationVisitor
extends HighLevelOperationVisitor, LowLevelOperationVisitor, DynamicOperationVisitor

OperationVisitor

Version:

$Id: OperationVisitor.java 328 2004-10-16 02:45:30Z joewhaley $

Author:

John Whaley

Method Summary

Methods inherited from interface net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from interface net.sf.bddbddb.ir.lowlevel.LowLevelOperationVisitor

visit, visit, visit

Methods inherited from interface net.sf.bddbddb.ir.dynamic.DynamicOperationVisitor

visit, visit