Changeset 3597


Ignore:
Timestamp:
Dec 26, 2013, 6:48:26 PM (5 years ago)
Author:
cameron
Message:

Equation for Rep r lb Unbounded

File:
1 edited

Legend:

Unmodified
Added
Removed
  • proto/RE/doc/CanonicalRE.hs

    r3596 r3597  
    207207    loop_stmt = While(Var(while_test), loop_body_stmts ++ repeat)
    208208
     209re2pablo_helper(Rep r lb Unbounded, cg_state) = re2pablo_helper(Rep r (lb-1) Unbounded, cg1_state)
     210  where
     211   cg1_state = re2pablo_helper(r, cg_state)
     212
    209213-- Now Bounded Repetition: use multiple copies
    210214   
Note: See TracChangeset for help on using the changeset viewer.