Searched refs:setOptLegacy (Results 1 – 3 of 3) sorted by relevance
| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | clasp_options.cpp | 284 static bool setOptLegacy(OptParams& out, uint32 n) { in setOptLegacy() function
305 if (xconvert(it, n, &next, e) && setOptLegacy(out, n)) { in xconvert()
309 setOptLegacy(out, uint32(t)*4); in xconvert()
313 …if (xconvert(it+1, n, &next, e) && setOptLegacy(out, n + (uint32(t)*4))) { // clasp-3.2: (bb|usc),… in xconvert()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | clasp_options.cpp | 284 static bool setOptLegacy(OptParams& out, uint32 n) { in setOptLegacy() function
305 if (xconvert(it, n, &next, e) && setOptLegacy(out, n)) { in xconvert()
309 setOptLegacy(out, uint32(t)*4); in xconvert()
313 …if (xconvert(it+1, n, &next, e) && setOptLegacy(out, n + (uint32(t)*4))) { // clasp-3.2: (bb|usc),… in xconvert()
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | clasp_options.cpp | 284 static bool setOptLegacy(OptParams& out, uint32 n) { in setOptLegacy() function
305 if (xconvert(it, n, &next, e) && setOptLegacy(out, n)) { in xconvert()
309 setOptLegacy(out, uint32(t)*4); in xconvert()
313 …if (xconvert(it+1, n, &next, e) && setOptLegacy(out, n + (uint32(t)*4))) { // clasp-3.2: (bb|usc),… in xconvert()
|