equal
deleted
inserted
replaced
123 case Nil => {BZERO} |
123 case Nil => {BZERO} |
124 case s :: Nil => { s} |
124 case s :: Nil => { s} |
125 case rs => {BALTS(bs, rs)} |
125 case rs => {BALTS(bs, rs)} |
126 } |
126 } |
127 } |
127 } |
128 //case BSTAR(r) => BSTAR(r) |
128 case BSTAR(r) => BSTAR(strong_br_simp(r)) |
129 case r => r |
129 case r => r |
130 } |
130 } |
131 //we want to bound the size by a function bspill s.t. |
131 //we want to bound the size by a function bspill s.t. |
132 //bspill(ders_simp(r,s)) ⊂ PD(r) |
132 //bspill(ders_simp(r,s)) ⊂ PD(r) |
133 //and bspill is size-preserving (up to a constant factor) |
133 //and bspill is size-preserving (up to a constant factor) |