1 // HighLevelInterpreter.java, created Jun 29, 2004 12:50:19 PM 2004 by jwhaley 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.highlevel; 5 6 /*** 7 * HighLevelInterpreter 8 * 9 * @author jwhaley 10 * @version $Id: HighLevelInterpreter.java 328 2004-10-16 02:45:30Z joewhaley $ 11 */ 12 public interface HighLevelInterpreter extends HighLevelOperationVisitor { 13 }