Home
last modified time | relevance | path

Searched refs:CLASP_WEIGHT_T_MAX (Results 1 – 18 of 18) sorted by relevance

/dports/math/clasp/clasp-3.3.5/src/
H A Dparser.cpp263 …min.push_back(WeightLiteral(lit, matchInt(CLASP_WEIGHT_T_MIN, CLASP_WEIGHT_T_MAX, "minweight: weig… in parseExt()
327 const int bound = matchInt(CLASP_WEIGHT_T_MIN, CLASP_WEIGHT_T_MAX, "invalid constraint bound"); in doParse()
379 minCost_= (weight_t)matchPos(CLASP_WEIGHT_T_MAX, "invalid min costs"); in doAttach()
381 maxCost_= (weight_t)matchPos(CLASP_WEIGHT_T_MAX, "invalid max costs"); in doAttach()
430 …active_.bound = matchInt(CLASP_WEIGHT_T_MIN, CLASP_WEIGHT_T_MAX, "invalid coefficient on rhs of co… in parseConstraint()
H A Dminimize_constraint.cpp596 while (w > CLASP_WEIGHT_T_MAX) { add(P, CLASP_WEIGHT_T_MAX); w -= CLASP_WEIGHT_T_MAX; } in add()
1514 minW_ = CLASP_WEIGHT_T_MAX; in clear()
1523 minW_ = CLASP_WEIGHT_T_MAX; in terminate()
H A Dlogic_program.cpp1669 weight_t bound = body.bound, maxW = 1, minW = CLASP_WEIGHT_T_MAX, sumW = 0, dirty = 0; in simplifySum()
1682 POTASSCO_CHECK((CLASP_WEIGHT_T_MAX-sumW)>= w, EOVERFLOW, "Integer overflow!"); in simplifySum()
1703 sumR = 0, minW = CLASP_WEIGHT_T_MAX; in simplifySum()
H A Dlogic_program_types.cpp183 POTASSCO_REQUIRE(agg_[i].weight >= 0 && sum <= CLASP_WEIGHT_T_MAX, "invalid weight rule"); in transform()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dparser.cpp263 …min.push_back(WeightLiteral(lit, matchInt(CLASP_WEIGHT_T_MIN, CLASP_WEIGHT_T_MAX, "minweight: weig… in parseExt()
327 const int bound = matchInt(CLASP_WEIGHT_T_MIN, CLASP_WEIGHT_T_MAX, "invalid constraint bound"); in doParse()
379 minCost_= (weight_t)matchPos(CLASP_WEIGHT_T_MAX, "invalid min costs"); in doAttach()
381 maxCost_= (weight_t)matchPos(CLASP_WEIGHT_T_MAX, "invalid max costs"); in doAttach()
430 …active_.bound = matchInt(CLASP_WEIGHT_T_MIN, CLASP_WEIGHT_T_MAX, "invalid coefficient on rhs of co… in parseConstraint()
H A Dminimize_constraint.cpp596 while (w > CLASP_WEIGHT_T_MAX) { add(P, CLASP_WEIGHT_T_MAX); w -= CLASP_WEIGHT_T_MAX; } in add()
1516 minW_ = CLASP_WEIGHT_T_MAX; in clear()
1525 minW_ = CLASP_WEIGHT_T_MAX; in terminate()
H A Dlogic_program.cpp1711 weight_t bound = body.bound, maxW = 1, minW = CLASP_WEIGHT_T_MAX, sumW = 0, dirty = 0; in simplifySum()
1724 POTASSCO_CHECK((CLASP_WEIGHT_T_MAX-sumW)>= w, EOVERFLOW, "Integer overflow!"); in simplifySum()
1745 sumR = 0, minW = CLASP_WEIGHT_T_MAX; in simplifySum()
H A Dlogic_program_types.cpp183 POTASSCO_REQUIRE(agg_[i].weight >= 0 && sum <= CLASP_WEIGHT_T_MAX, "invalid weight rule"); in transform()
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dparser.cpp263 …min.push_back(WeightLiteral(lit, matchInt(CLASP_WEIGHT_T_MIN, CLASP_WEIGHT_T_MAX, "minweight: weig… in parseExt()
327 const int bound = matchInt(CLASP_WEIGHT_T_MIN, CLASP_WEIGHT_T_MAX, "invalid constraint bound"); in doParse()
379 minCost_= (weight_t)matchPos(CLASP_WEIGHT_T_MAX, "invalid min costs"); in doAttach()
381 maxCost_= (weight_t)matchPos(CLASP_WEIGHT_T_MAX, "invalid max costs"); in doAttach()
430 …active_.bound = matchInt(CLASP_WEIGHT_T_MIN, CLASP_WEIGHT_T_MAX, "invalid coefficient on rhs of co… in parseConstraint()
H A Dminimize_constraint.cpp596 while (w > CLASP_WEIGHT_T_MAX) { add(P, CLASP_WEIGHT_T_MAX); w -= CLASP_WEIGHT_T_MAX; } in add()
1516 minW_ = CLASP_WEIGHT_T_MAX; in clear()
1525 minW_ = CLASP_WEIGHT_T_MAX; in terminate()
H A Dlogic_program.cpp1711 weight_t bound = body.bound, maxW = 1, minW = CLASP_WEIGHT_T_MAX, sumW = 0, dirty = 0; in simplifySum()
1724 POTASSCO_CHECK((CLASP_WEIGHT_T_MAX-sumW)>= w, EOVERFLOW, "Integer overflow!"); in simplifySum()
1745 sumR = 0, minW = CLASP_WEIGHT_T_MAX; in simplifySum()
H A Dlogic_program_types.cpp183 POTASSCO_REQUIRE(agg_[i].weight >= 0 && sum <= CLASP_WEIGHT_T_MAX, "invalid weight rule"); in transform()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dliteral.h198 #define CLASP_WEIGHT_T_MAX ( 2147483647) macro
/dports/math/clasp/clasp-3.3.5/clasp/
H A Dliteral.h198 #define CLASP_WEIGHT_T_MAX ( 2147483647) macro
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dliteral.h198 #define CLASP_WEIGHT_T_MAX ( 2147483647) macro
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/
H A Dminimize_test.cpp259 mb.add(0, CLASP_WEIGHT_T_MAX);
/dports/math/clasp/clasp-3.3.5/tests/
H A Dminimize_test.cpp244 mb.add(0, CLASP_WEIGHT_T_MAX);
/dports/math/clingo/clingo-5.5.1/clasp/tests/
H A Dminimize_test.cpp259 mb.add(0, CLASP_WEIGHT_T_MAX);