Changeset 3887 for proto


Ignore:
Timestamp:
Jun 21, 2014, 3:08:48 AM (5 years ago)
Author:
cameron
Message:

Simplify demo program; additional rep rule

Location:
proto/RE/Haskell
Files:
1 added
1 edited

Legend:

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

    r3886 r3887  
    7575   | ub1 == unboundedRep && lb1 <= 1   = Rep(r, lb1 * lb2, unboundedRep)
    7676   | ub1 == unboundedRep && lb2 == 0   = Rep(Rep(r, lb1, unboundedRep), 0, 1)
    77    | ub1 * lb2 >= lb1 * (lb2 + 1) - 1   = Rep(r, lb1 * lb2, ubCombine(ub1, ub2))
     77   | lb2 == ub2                        = Rep(r, lb1 * lb2, ub1 * ub2)
     78   | ub1 * lb2 >= lb1 * (lb2 + 1) - 1  = Rep(r, lb1 * lb2, ubCombine(ub1, ub2))
    7879   | otherwise = Rep(Rep(r, lb1, ub1), lb2, ub2)
    7980mkRep(r, lb, ub) = Rep(r, lb, ub)
Note: See TracChangeset for help on using the changeset viewer.