228 |
228 |
229 val SOME (str, pred) = eval_boollist2sum "" "Prog_Expr.boollist2sum" t ""; |
229 val SOME (str, pred) = eval_boollist2sum "" "Prog_Expr.boollist2sum" t ""; |
230 if UnparseC.term pred = "boollist2sum\n [b1 = k - 2 * q, b2 = k - 2 * q, b3 = k - 2 * q, b4 = k - 2 * q] =\nb1 + b2 + b3 + b4" then () |
230 if UnparseC.term pred = "boollist2sum\n [b1 = k - 2 * q, b2 = k - 2 * q, b3 = k - 2 * q, b4 = k - 2 * q] =\nb1 + b2 + b3 + b4" then () |
231 else error "atools.sml diff.behav. in eval_boollist2sum"; |
231 else error "atools.sml diff.behav. in eval_boollist2sum"; |
232 |
232 |
233 Trace.trace_rewrite := false; |
233 Rewrite.trace_on := false; |
234 val srls_ = Rule_Set.append_rules "srls_..Berechnung-erstSymbolisch" Rule_Set.empty |
234 val srls_ = Rule_Set.append_rules "srls_..Berechnung-erstSymbolisch" Rule_Set.empty |
235 [Eval ("Prog_Expr.boollist2sum", eval_boollist2sum "")]; |
235 [Eval ("Prog_Expr.boollist2sum", eval_boollist2sum "")]; |
236 val t = str2t |
236 val t = str2t |
237 "boollist2sum [b1 = k - 2*q, b2 = k - 2*q, b3 = k - 2*q, b4 = k - 2*q]"; |
237 "boollist2sum [b1 = k - 2*q, b2 = k - 2*q, b3 = k - 2*q, b4 = k - 2*q]"; |
238 case rewrite_set_ thy false srls_ t of SOME _ => () |
238 case rewrite_set_ thy false srls_ t of SOME _ => () |
239 | _ => error "atools.sml diff.rewrite boollist2sum"; |
239 | _ => error "atools.sml diff.rewrite boollist2sum"; |
240 Trace.trace_rewrite := false; |
240 Rewrite.trace_on := false; |
241 |
241 |
242 |
242 |
243 "---------fun eval_binop -----------------------------------------------------------------------"; |
243 "---------fun eval_binop -----------------------------------------------------------------------"; |
244 "---------fun eval_binop -----------------------------------------------------------------------"; |
244 "---------fun eval_binop -----------------------------------------------------------------------"; |
245 "---------fun eval_binop -----------------------------------------------------------------------"; |
245 "---------fun eval_binop -----------------------------------------------------------------------"; |