Changeset 749


Ignore:
Timestamp:
May 22, 2003, 8:51:44 AM (18 years ago)
Author:
orlov
Message:
  • Removed variables in cyclic restrictions.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/compiler/rfp_compile.rf

    r744 r749  
    14031403    {
    14041404      <Get-Max e.vars-Re> :: e.max =
    1405         <Create-Int-Var ("lmax") Aux e.len-Re e.max> :: t.max-Re e.assign1,
    14061405        <Get-Min e.vars-Pe> :: e.min,
    1407         <Create-Int-Var ("rmin") Aux e.len-Pe e.min> :: t.min-Pe e.assign2,
    1408         (e.assign1 e.assign2) ((INFIX "<" (t.max-Re) (t.min-Pe)));
    1409       () /*empty*/;
    1410     } :: (e.ass1) e.cond1,
     1406        ((INFIX "<" (e.len-Re e.max) (e.len-Pe e.min)));
     1407      /*empty*/;
     1408    } :: e.cond1,
    14111409    {
    14121410      <Get-Max e.vars-Pe> :: e.max =
    1413         <Create-Int-Var ("rmax") Aux e.len-Pe e.max> :: t.max-Pe e.assign1,
    14141411        <Get-Min e.vars-Re> :: e.min,
    1415         <Create-Int-Var ("lmin") Aux e.len-Re e.min> :: t.min-Re e.assign2,
    1416         (e.assign1 e.assign2) ((INFIX ">" (t.min-Re) (t.max-Pe)));
    1417       () /*empty*/;
    1418     } :: (e.ass2) e.cond2,
     1412        ((INFIX ">" (e.len-Re e.min) (e.len-Pe e.max)));
     1413      /*empty*/;
     1414    } :: e.cond2,
    14191415    {
    14201416      e.cond1 : /*empty*/, e.cond2 : /*empty*/ = /*empty*/;
    1421       e.ass1 e.ass2 (IF ((INFIX "||" e.cond1 e.cond2)) e.fail);
     1417      (IF ((INFIX "||" e.cond1 e.cond2)) e.fail);
    14221418    } :: e.cond,
    14231419    e.cond
Note: See TracChangeset for help on using the changeset viewer.