net.sf.bddbddb.ir.lowlevel
Interface LowLevelOperationVisitor

All Known Subinterfaces:

LowLevelInterpreter, OperationInterpreter, OperationVisitor

All Known Implementing Classes:

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

public interface LowLevelOperationVisitor

LowLevelOperationVisitor

Version:

$Id: LowLevelOperationVisitor.java,v 1.3 2004/07/12 09:06:30 joewhaley Exp $

Author:

John Whaley

Method Summary

java.lang.Object	visit(ApplyEx op)
java.lang.Object	visit(BDDProject op)
java.lang.Object	visit(Replace op)

Method Detail

visit

java.lang.Object visit(ApplyEx op)

Parameters:

op -

Returns:

the result

visit

java.lang.Object visit(Replace op)

Parameters:

op -

Returns:

the result

visit

java.lang.Object visit(BDDProject op)