Home
last modified time | relevance | path

Searched refs:estdepth (Results 1 – 4 of 4) sorted by relevance

/dports/math/sympol/SymPol-0.1.9/external/lrslib-042c/
H A Dlrslib.c2164 long estdepth = 0; /* depth of basis/vertex in subtree for estimate */ in lrs_estimate() local
2208 if (estdepth == 0 && nchild == 0) in lrs_estimate()
2234 estdepth++; in lrs_estimate()
2274 while (estdepth > 0) in lrs_estimate()
2276 estdepth = estdepth - 1; in lrs_estimate()
/dports/math/gambit/gambit-16.0.1/library/src/lrs/
H A Dlrslib.c3128 long estdepth = 0; /* depth of basis/vertex in subtree for estimate */ in lrs_estimate() local
3173 if (estdepth == 0 && nchild == 0) in lrs_estimate()
3199 estdepth++; in lrs_estimate()
3239 while (estdepth > 0) in lrs_estimate()
3241 estdepth = estdepth - 1; in lrs_estimate()
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/tools/external/lrslib/
H A Dlrslib.c3104 int64_t estdepth = 0; /* depth of basis/vertex in subtree for estimate */ in lrs_estimate() local
3148 if ( estdepth == 0 && nchild == 0 ) { in lrs_estimate()
3179 estdepth++; in lrs_estimate()
3220 while ( estdepth > 0 ) { in lrs_estimate()
3221 estdepth = estdepth - 1; in lrs_estimate()
/dports/math/lrslib/lrslib-071a/
H A Dlrslib.c2820 long estdepth = 0; /* depth of basis/vertex in subtree for estimate */ in lrs_estimate() local
2865 if (estdepth == 0 && nchild == 0) in lrs_estimate()
2891 estdepth++; in lrs_estimate()
2931 while (estdepth > 0) in lrs_estimate()
2933 estdepth = estdepth - 1; in lrs_estimate()