Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

net.sf.bddbddb.ir.highlevel
Interface HighLevelOperationVisitor

All Known Subinterfaces:
HighLevelInterpreter, OperationInterpreter, OperationVisitor
All Known Implementing Classes:
BDDOperationInterpreter, ConstantProp.ConstantPropTF, ConstantProp.SimplifyVisitor, DomainAssignment, PartialOrder.PartialOrderTF, PartialOrderDomainAssignment, UFDomainAssignment
public interface HighLevelOperationVisitor

HighLevelOperationVisitor

Version:
$Id: HighLevelOperationVisitor.java,v 1.1 2004/07/06 23:36:25 cs343 Exp $
Author:
John Whaley

Method Summary
 java.lang.Object visit(Copy op)
           
 java.lang.Object visit(Difference op)
           
 java.lang.Object visit(Free op)
           
 java.lang.Object visit(GenConstant op)
           
 java.lang.Object visit(Invert op)
           
 java.lang.Object visit(Join op)
           
 java.lang.Object visit(JoinConstant op)
           
 java.lang.Object visit(Load op)
           
 java.lang.Object visit(Project op)
           
 java.lang.Object visit(Rename op)
           
 java.lang.Object visit(Save op)
           
 java.lang.Object visit(Union op)
           
 java.lang.Object visit(Universe op)
           
 java.lang.Object visit(Zero op)
           
 

Method Detail

visit

java.lang.Object visit(Join op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Project op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Rename op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Union op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Difference op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(JoinConstant op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(GenConstant op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Free op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Universe op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Zero op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Invert op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Copy op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Load op)
Parameters:
op - the operation
Returns:
the result

visit

java.lang.Object visit(Save op)
Parameters:
op - the operation
Returns:
the result
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.