1 // OperationInterpreter.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; 5 6 import net.sf.bddbddb.ir.dynamic.DynamicInterpreter; 7 import net.sf.bddbddb.ir.highlevel.HighLevelInterpreter; 8 import net.sf.bddbddb.ir.lowlevel.LowLevelInterpreter; 9 10 /*** 11 * OperationInterpreter 12 * 13 * @author John Whaley 14 * @version $Id: OperationInterpreter.java 328 2004-10-16 02:45:30Z joewhaley $ 15 */ 16 public interface OperationInterpreter extends OperationVisitor, HighLevelInterpreter, LowLevelInterpreter, DynamicInterpreter { 17 }