View Javadoc

1   // LowLevelOperationVisitor.java, created Jul 3, 2004 11:50:51 PM by joewhaley
2   // Copyright (C) 2004 John Whaley <jwhaley@alum.mit.edu>
3   // Licensed under the terms of the GNU LGPL; see COPYING for details.
4   package net.sf.bddbddb.ir.lowlevel;
5   
6   /***
7    * LowLevelOperationVisitor
8    * 
9    * @author John Whaley
10   * @version $Id: LowLevelOperationVisitor.java,v 1.3 2004/07/12 09:06:30
11   *          joewhaley Exp $
12   */
13  public interface LowLevelOperationVisitor {
14      /***
15       * @param op
16       * @return  the result
17       */
18      public abstract Object visit(ApplyEx op);
19  
20      /***
21       * @param op
22       * @return  the result
23       */
24      public abstract Object visit(Replace op);
25      
26      public abstract Object visit(BDDProject op);
27  }