net.sf.bddbddb.ir.dynamic
Interface DynamicOperationVisitor

All Known Subinterfaces:

DynamicInterpreter, OperationInterpreter, OperationVisitor

All Known Implementing Classes:

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

public interface DynamicOperationVisitor

DynamicOperationVisitor

Version:

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

Author:

John Whaley

Method Summary

java.lang.Object	visit(If op)
java.lang.Object	visit(Nop op)

Method Detail

visit

java.lang.Object visit(If op)

Parameters:

op -

Returns:

the result

visit

java.lang.Object visit(Nop op)

Parameters:

op -

Returns:

the result