diff lwlib/lw_expr.h @ 335:9f58e3bca6e3

checkpoint
author lost
date Thu, 04 Mar 2010 05:13:22 +0000
parents f2173d18c73f
children 04c80c51b16a
line wrap: on
line diff
--- a/lwlib/lw_expr.h	Thu Mar 04 02:24:38 2010 +0000
+++ b/lwlib/lw_expr.h	Thu Mar 04 05:13:22 2010 +0000
@@ -81,6 +81,8 @@
 extern lw_expr_t lw_expr_build(int exprtype, ...);
 extern void lw_expr_print(lw_expr_t E);
 extern int lw_expr_compare(lw_expr_t E1, lw_expr_t E2);
+extern void lw_expr_simplify(lw_expr_t E);
+extern lw_expr_t lw_expr_build_noref(int exprtype, ...);
 
 #endif /* def ___lw_expr_c_seen___ */