--- /dev/null
+/************************************************************************
+ ************************************************************************
+ FAUST compiler
+ Copyright (C) 2003-2004 GRAME, Centre National de Creation Musicale
+ ---------------------------------------------------------------------
+ This program is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 2 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ ************************************************************************
+ ************************************************************************/
+
+#ifndef __EVALBOXES__
+#define __EVALBOXES__
+
+
+
+/**
+ * \file eval.hh
+ *
+ * Interface of the block diagram evaluator.
+ *
+ * A strict lambda-calculus evaluator for block diagram expressions.
+ *
+ **/
+
+
+
+#include "boxes.hh"
+#include "sourcereader.hh"
+#include "environment.hh"
+
+/**
+ * Eval the definition of 'process'.
+ *
+ * Eval the definition of 'process' in the environment passed as argument
+ * @param eqlist the global environment (a list of definitions)
+ * @return the 'process' block diagram in normal form that is
+ **/
+
+Tree evalprocess (Tree eqlist);
+Tree evaldocexpr (Tree docexpr, Tree eqlist);
+
+
+/**
+ * Push a new layer and add a single definition.
+ * @param id the symbol id to be defined
+ * @param def the definition to be binded to the symbol id
+ * @param lenv the environment where to push the layer and add the definition
+ * @return the new environment
+ */
+Tree pushValueDef(Tree id, Tree def, Tree lenv);
+
+/* numeric simplification of pattern arguments */
+Tree simplifyPattern (Tree pattern);
+
+#endif