===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/restriction/demo.k,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -p -r1.8 -r1.9
--- OpenXM/src/k097/lib/restriction/demo.k	2001/09/20 00:48:17	1.8
+++ OpenXM/src/k097/lib/restriction/demo.k	2003/05/04 13:19:21	1.9
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/k097/lib/restriction/demo.k,v 1.7 2001/01/26 12:24:57 takayama Exp $  */
+/* $OpenXM: OpenXM/src/k097/lib/restriction/demo.k,v 1.8 2001/09/20 00:48:17 takayama Exp $  */
 
 load["restriction.k"];;
 load("../ox/ox.k");;
@@ -15,6 +15,14 @@ if (Boundp("NoX")) {
   as = Asir.generate(false); 
 }else{
   as = Asir.generate();
+}
+
+def demoReduction(v) {
+  if (v == true) {
+    sm1(" [(Verbose) 1] system_variable  [(DebugReductionRed) 1] system_variable Onverbose ");
+  }else{
+    sm1(" [(Verbose) 0] system_variable  [(DebugReductionRed) 0] system_variable Offverbose ");
+  }
 }
 
 asssssir = as;