Changeset c3ea367 in git for kernel/GBEngine/kutil.cc


Ignore:
Timestamp:
Mar 13, 2017, 11:45:54 AM (7 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
Children:
a5b3bfc89e0d6875d26d979d8393b09e12c97621
Parents:
6583a2436ee9187d10322deedd50e1caadcc306a
Message:
code cleanup: enterOnePair*
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/GBEngine/kutil.cc

    r6583a2 rc3ea367  
    19981998      strat->cp++;
    19991999      pLmFree(Lp.lcm);
    2000       Lp.lcm=NULL;
    20012000      return;
    20022001    }
    … …  
    20062005    {
    20072006      pLmFree(Lp.lcm);
    2008       Lp.lcm=NULL;
    20092007      return;
    20102008      /*the pair is (s[i],t[.]), discard it if the ecart is too big*/
    … …  
    20672065          strat->cp++;
    20682066          pLmFree(Lp.lcm);
    2069           Lp.lcm=NULL;
    20702067          return;
    20712068      }
    … …  
    20732070      {
    20742071        pLmFree(Lp.lcm);
    2075         Lp.lcm=NULL;
    20762072        return;
    20772073        /*the pair is (s[i],t[.]), discard it if the ecart is too big*/
    … …  
    22762272      strat->cp++;
    22772273      pLmFree(Lp.lcm);
    2278       Lp.lcm=NULL;
    22792274      return;
    22802275    }
    … …  
    22842279    {
    22852280      pLmFree(Lp.lcm);
    2286       Lp.lcm=NULL;
    22872281      return;
    22882282      /*the pair is (s[i],t[.]), discard it if the ecart is too big*/
    … …  
    23412335      strat->cp++;
    23422336      pLmFree(Lp.lcm);
    2343       Lp.lcm=NULL;
    23442337      return;
    23452338    }
    … …  
    23472340    {
    23482341      pLmFree(Lp.lcm);
    2349       Lp.lcm=NULL;
    23502342      return;
    23512343      /*the pair is (s[i],t[.]), discard it if the ecart is too big*/
    … …  
    25242516    else
    25252517      pLmFree(Lp.lcm);
    2526     Lp.lcm=NULL;
    25272518    pDelete (&m1);
    25282519    pDelete (&m2);
    … …  
    25432534    else
    25442535      pLmFree(Lp.lcm);
    2545     Lp.lcm=NULL;
    25462536    pDelete (&m1);
    25472537    pDelete (&m2);
    … …  
    26342624      pLmFree(Lp.lcm);
    26352625      pDelete(&Lp.sig);
    2636       Lp.lcm=NULL;
    26372626      pDelete (&m1);
    26382627      pDelete (&m2);
    … …  
    26562645      int pos = posInSyz(strat, Lp.sig);
    26572646      enterSyz(Lp, strat, pos);
    2658       Lp.lcm=NULL;
    26592647      pDelete (&m1);
    26602648      pDelete (&m2);
    … …  
    29062894    else
    29072895      pLmFree(Lp.lcm);
    2908     Lp.lcm=NULL;
    29092896    pDelete (&m1);
    29102897    pDelete (&m2);
    … …  
    29302917    else
    29312918      pLmFree(Lp.lcm);
    2932     Lp.lcm=NULL;
    29332919    pDelete (&m1);
    29342920    pDelete (&m2);
    … …  
    30393025      #endif
    30403026      pDelete(&Lp.sig);
    3041       Lp.lcm=NULL;
    30423027      pDelete (&m1);
    30433028      pDelete (&m2);
    … …  
    30613046      int pos = posInSyz(strat, Lp.sig);
    30623047      enterSyz(Lp, strat, pos);
    3063       Lp.lcm=NULL;
    30643048      pDelete (&m1);
    30653049      pDelete (&m2);
    … …  
    1238512369#endif
    1238612370    pLmFree(Lp.lcm);
    12387     Lp.lcm=NULL;
    1238812371    /* + counter for applying the V criterion */
    1238912372    strat->cv++;
    … …  
    1241212395      strat->cp++;
    1241312396      pLmFree(Lp.lcm);
    12414       Lp.lcm=NULL;
    1241512397      return;
    1241612398    }
    … …  
    1242012402    {
    1242112403      pLmFree(Lp.lcm);
    12422       Lp.lcm=NULL;
    1242312404      return;
    1242412405      /*the pair is (s[i],t[.]), discard it if the ecart is too big*/
    … …  
    1248112462          strat->cp++;
    1248212463          pLmFree(Lp.lcm);
    12483           Lp.lcm=NULL;
    1248412464          return;
    1248512465      }
    … …  
    1248712467      {
    1248812468        pLmFree(Lp.lcm);
    12489         Lp.lcm=NULL;
    1249012469        return;
    1249112470        /*the pair is (s[i],t[.]), discard it if the ecart is too big*/
Note: See TracChangeset for help on using the changeset viewer.