Diff of /branches/vis15/src/compiler/simplify/util.sml

Parent Directory | Revision Log | Patch

	revision 3465, Sun Nov 29 20:04:16 2015 UTC	revision 3482, Sat Dec 5 14:43:53 2015 UTC
#	Line 34	Line 34
34	else if Var.same(BV.red_exists, rator)	else if Var.same(BV.red_exists, rator)
35	then {rator = BV.op_or, init = L.Bool false, mvs = []}	then {rator = BV.op_or, init = L.Bool false, mvs = []}
36	else if Var.same(BV.red_max, rator)	else if Var.same(BV.red_max, rator)
37	then {rator = BV.fn_max, init = L.Real R.negInf, mvs = []}	then {rator = BV.fn_max_r, init = L.Real R.negInf, mvs = []}
38	else if Var.same(BV.red_mean, rator)	else if Var.same(BV.red_mean, rator)
39	then raise Fail "FIXME: 'mean' reduction not yet supported"	then raise Fail "FIXME: 'mean' reduction not yet supported"
40	else if Var.same(BV.red_min, rator)	else if Var.same(BV.red_min, rator)
41	then {rator = BV.fn_min, init = L.Real R.posInf, mvs = []}	then {rator = BV.fn_min_r, init = L.Real R.posInf, mvs = []}
42	else if Var.same(BV.red_product, rator)	else if Var.same(BV.red_product, rator)
43	then {rator = BV.mul_rr, init = L.Real R.one, mvs = []}	then {rator = BV.mul_rr, init = L.Real R.one, mvs = []}
44	else if Var.same(BV.red_sum, rator)	else if Var.same(BV.red_sum, rator)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.3465   changed lines   Added in v.3482

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0