Home
last modified time | relevance | path

Searched refs:WeightConstraint (Results 1 – 25 of 26) sorted by relevance

12

/dports/math/clasp/clasp-3.3.5/src/
H A Dweight_constraint.cpp144 WeightConstraint::WL* WeightConstraint::WL::clone(){ in clone()
156 void WeightConstraint::WL::release() { in release()
169 WeightConstraint::CPair WeightConstraint::create(Solver& s, Literal W, WeightLitVec& lits, weight_t… in create()
186 WeightConstraint::CPair WeightConstraint::create(Solver& s, Literal W, WeightLitsRep& rep, uint32 f… in create()
192 WeightConstraint* WeightConstraint::doCreate(Solver& s, Literal W, WeightLitsRep& rep, uint32 flags… in doCreate()
193 WeightConstraint* conflict = (WeightConstraint*)0x1; in doCreate()
242 WeightConstraint* c = new (m) WeightConstraint(s, ctx, W, rep, sL, act); in doCreate()
298 WeightConstraint::WeightConstraint(Solver& s, const WeightConstraint& other) { in WeightConstraint() function in Clasp::WeightConstraint
328 WeightConstraint::~WeightConstraint() {} in ~WeightConstraint()
385 this->~WeightConstraint(); in destroy()
[all …]
H A Dminimize_constraint.cpp1343 typedef WeightConstraint::CPair ResPair; in addOllCon()
1358 …2 fset = WeightConstraint::create_explicit | WeightConstraint::create_no_add | WeightConstra… in addOllCon()
1359 if (options_.hasOption(OptParams::usc_succinct)) { fset |= WeightConstraint::create_only_bfb; } in addOllCon()
1360 ResPair res = WeightConstraint::create(s, ~aux.lit, rep, fset); in addOllCon()
1384 typedef WeightConstraint::CPair ResPair; in addConstraint()
1386 … uint32 fset = WeightConstraint::create_explicit | WeightConstraint::create_no_add | WeightConstra… in addConstraint()
1387 ResPair res = WeightConstraint::create(s, lit_true(), rep, fset); in addConstraint()
1434 uint32 UncoreMinimize::allocCore(WeightConstraint* con, weight_t bound, weight_t weight, bool open)… in allocCore()
1506 Literal UncoreMinimize::Core::at(uint32 i) const { return con->lit(i+1, WeightConstraint::FFB_BTB);… in at()
1507 Literal UncoreMinimize::Core::tag() const { return con->lit(0, WeightConstraint::FTB_BFB); } in tag()
H A Dprogram_builder.cpp172 return WeightConstraint::create(*ctx()->master(), lit_true(), rep, 0u).ok(); in addConstraint()
249 …return WeightConstraint::create(*ctx()->master(), posLit(eqVar), lits, bound, !eq ? 0 : WeightCons… in addConstraint()
H A Dlogic_program_types.cpp1303 return WeightConstraint::create(*prg.ctx()->master(), literal(), lits, bound()).ok(); in addConstraints()
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dweight_constraint.cpp148 WeightConstraint::WL* WeightConstraint::WL::clone(){ in clone()
160 void WeightConstraint::WL::release() { in release()
173 WeightConstraint::CPair WeightConstraint::create(Solver& s, Literal W, WeightLitVec& lits, weight_t… in create()
190 WeightConstraint::CPair WeightConstraint::create(Solver& s, Literal W, WeightLitsRep& rep, uint32 f… in create()
196 WeightConstraint* WeightConstraint::doCreate(Solver& s, Literal W, WeightLitsRep& rep, uint32 flags… in doCreate()
197 WeightConstraint* conflict = (WeightConstraint*)0x1; in doCreate()
247 WeightConstraint* c = new (m) WeightConstraint(s, ctx, W, rep, sL, act); in doCreate()
303 WeightConstraint::WeightConstraint(Solver& s, const WeightConstraint& other) { in WeightConstraint() function in Clasp::WeightConstraint
333 WeightConstraint::~WeightConstraint() {} in ~WeightConstraint()
390 this->~WeightConstraint(); in destroy()
[all …]
H A Dminimize_constraint.cpp1345 typedef WeightConstraint::CPair ResPair; in addOllCon()
1360 …2 fset = WeightConstraint::create_explicit | WeightConstraint::create_no_add | WeightConstra… in addOllCon()
1361 if (options_.hasOption(OptParams::usc_succinct)) { fset |= WeightConstraint::create_only_bfb; } in addOllCon()
1362 ResPair res = WeightConstraint::create(s, ~aux.lit, rep, fset); in addOllCon()
1386 typedef WeightConstraint::CPair ResPair; in addConstraint()
1388 … uint32 fset = WeightConstraint::create_explicit | WeightConstraint::create_no_add | WeightConstra… in addConstraint()
1389 ResPair res = WeightConstraint::create(s, lit_true(), rep, fset); in addConstraint()
1436 uint32 UncoreMinimize::allocCore(WeightConstraint* con, weight_t bound, weight_t weight, bool open)… in allocCore()
1508 Literal UncoreMinimize::Core::at(uint32 i) const { return con->lit(i+1, WeightConstraint::FFB_BTB);… in at()
1509 Literal UncoreMinimize::Core::tag() const { return con->lit(0, WeightConstraint::FTB_BFB); } in tag()
H A Dprogram_builder.cpp172 return WeightConstraint::create(*ctx()->master(), lit_true(), rep, 0u).ok(); in addConstraint()
249 …return WeightConstraint::create(*ctx()->master(), posLit(eqVar), lits, bound, !eq ? 0 : WeightCons… in addConstraint()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dweight_constraint.cpp148 WeightConstraint::WL* WeightConstraint::WL::clone(){ in clone()
160 void WeightConstraint::WL::release() { in release()
173 WeightConstraint::CPair WeightConstraint::create(Solver& s, Literal W, WeightLitVec& lits, weight_t… in create()
190 WeightConstraint::CPair WeightConstraint::create(Solver& s, Literal W, WeightLitsRep& rep, uint32 f… in create()
196 WeightConstraint* WeightConstraint::doCreate(Solver& s, Literal W, WeightLitsRep& rep, uint32 flags… in doCreate()
197 WeightConstraint* conflict = (WeightConstraint*)0x1; in doCreate()
247 WeightConstraint* c = new (m) WeightConstraint(s, ctx, W, rep, sL, act); in doCreate()
303 WeightConstraint::WeightConstraint(Solver& s, const WeightConstraint& other) { in WeightConstraint() function in Clasp::WeightConstraint
333 WeightConstraint::~WeightConstraint() {} in ~WeightConstraint()
390 this->~WeightConstraint(); in destroy()
[all …]
H A Dminimize_constraint.cpp1345 typedef WeightConstraint::CPair ResPair; in addOllCon()
1360 …2 fset = WeightConstraint::create_explicit | WeightConstraint::create_no_add | WeightConstra… in addOllCon()
1361 if (options_.hasOption(OptParams::usc_succinct)) { fset |= WeightConstraint::create_only_bfb; } in addOllCon()
1362 ResPair res = WeightConstraint::create(s, ~aux.lit, rep, fset); in addOllCon()
1386 typedef WeightConstraint::CPair ResPair; in addConstraint()
1388 … uint32 fset = WeightConstraint::create_explicit | WeightConstraint::create_no_add | WeightConstra… in addConstraint()
1389 ResPair res = WeightConstraint::create(s, lit_true(), rep, fset); in addConstraint()
1436 uint32 UncoreMinimize::allocCore(WeightConstraint* con, weight_t bound, weight_t weight, bool open)… in allocCore()
1508 Literal UncoreMinimize::Core::at(uint32 i) const { return con->lit(i+1, WeightConstraint::FFB_BTB);… in at()
1509 Literal UncoreMinimize::Core::tag() const { return con->lit(0, WeightConstraint::FTB_BFB); } in tag()
H A Dprogram_builder.cpp172 return WeightConstraint::create(*ctx()->master(), lit_true(), rep, 0u).ok(); in addConstraint()
249 …return WeightConstraint::create(*ctx()->master(), posLit(eqVar), lits, bound, !eq ? 0 : WeightCons… in addConstraint()
H A Dlogic_program_types.cpp1303 return WeightConstraint::create(*prg.ctx()->master(), literal(), lits, bound()).ok(); in addConstraints()
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dweight_constraint.h84 class WeightConstraint : public Constraint {
101 …ol ok() const { return con[0] != (WeightConstraint*)0x1 && con[1] != (WeightConstr… in ok()
102 WeightConstraint* first() const { return con[0]; } in first()
103 WeightConstraint* second()const { return con[1]; } in second()
105 friend class WeightConstraint;
106 WeightConstraint* con[2];
166 static WeightConstraint* doCreate(Solver& s, Literal W, WeightLitsRep& rep, uint32 flags);
188 …WeightConstraint(Solver& s, SharedContext* ctx, Literal W, const WeightLitsRep& , WL* out, uint32 …
189 WeightConstraint(Solver& s, const WeightConstraint& other);
190 ~WeightConstraint();
H A Dminimize_constraint.h39 class WeightConstraint; variable
465 Core(WeightConstraint* c, weight_t b, weight_t w) : con(c), bound(b), weight(w) {} in Core()
469 WeightConstraint* con;
523 uint32 allocCore(WeightConstraint* con, weight_t bound, weight_t weight, bool open);
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dweight_constraint.h84 class WeightConstraint : public Constraint {
101 …ol ok() const { return con[0] != (WeightConstraint*)0x1 && con[1] != (WeightConstr… in ok()
102 WeightConstraint* first() const { return con[0]; } in first()
103 WeightConstraint* second()const { return con[1]; } in second()
105 friend class WeightConstraint;
106 WeightConstraint* con[2];
166 static WeightConstraint* doCreate(Solver& s, Literal W, WeightLitsRep& rep, uint32 flags);
188 …WeightConstraint(Solver& s, SharedContext* ctx, Literal W, const WeightLitsRep& , WL* out, uint32 …
189 WeightConstraint(Solver& s, const WeightConstraint& other);
190 ~WeightConstraint();
H A Dminimize_constraint.h39 class WeightConstraint; variable
465 Core(WeightConstraint* c, weight_t b, weight_t w) : con(c), bound(b), weight(w) {} in Core()
469 WeightConstraint* con;
523 uint32 allocCore(WeightConstraint* con, weight_t bound, weight_t weight, bool open);
/dports/math/clasp/clasp-3.3.5/clasp/
H A Dweight_constraint.h84 class WeightConstraint : public Constraint {
101 …ol ok() const { return con[0] != (WeightConstraint*)0x1 && con[1] != (WeightConstr… in ok()
102 WeightConstraint* first() const { return con[0]; } in first()
103 WeightConstraint* second()const { return con[1]; } in second()
105 friend class WeightConstraint;
106 WeightConstraint* con[2];
166 static WeightConstraint* doCreate(Solver& s, Literal W, WeightLitsRep& rep, uint32 flags);
188 …WeightConstraint(Solver& s, SharedContext* ctx, Literal W, const WeightLitsRep& , WL* out, uint32 …
189 WeightConstraint(Solver& s, const WeightConstraint& other);
190 ~WeightConstraint();
H A Dminimize_constraint.h39 class WeightConstraint; variable
465 Core(WeightConstraint* c, weight_t b, weight_t w) : con(c), bound(b), weight(w) {} in Core()
469 WeightConstraint* con;
523 uint32 allocCore(WeightConstraint* con, weight_t bound, weight_t weight, bool open);
/dports/math/clingo/clingo-5.5.1/clasp/tests/
H A Dweight_constraint_test.cpp32 return WeightConstraint::create(*ctx.master(), W, lits, bound).ok(); in newWeightConstraint()
414 …WeightConstraint::CPair res = WeightConstraint::create(solver, body, wlits, 2, WeightConstraint::c…
421 CHECK(dynamic_cast<WeightConstraint*>(con));
451 …WeightConstraint::CPair res = WeightConstraint::create(solver, body, wlits, 2, WeightConstraint::c…
458 CHECK(dynamic_cast<WeightConstraint*>(con));
654 …WeightConstraint::CPair res = WeightConstraint::create(s, body, wlits, 2, WeightConstraint::create…
668 …WeightConstraint* wc = WeightConstraint::create(s, lit_true(), wlits, 2, WeightConstraint::create_…
677 …WeightConstraint* wc = WeightConstraint::create(s, body, wlits, 3, WeightConstraint::create_no_add…
688 …WeightConstraint::CPair res = WeightConstraint::create(s, body, wlits, 2, WeightConstraint::create…
713 …WeightConstraint::CPair res = WeightConstraint::create(s, body, rep, WeightConstraint::create_no_a…
[all …]
H A Dsolver_test.cpp1523 …WeightConstraint::create(s, lit_false(), lits, 3, WeightConstraint::create_explicit | WeightConstr…
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/
H A Dweight_constraint_test.cpp32 return WeightConstraint::create(*ctx.master(), W, lits, bound).ok(); in newWeightConstraint()
414 …WeightConstraint::CPair res = WeightConstraint::create(solver, body, wlits, 2, WeightConstraint::c…
421 CHECK(dynamic_cast<WeightConstraint*>(con));
451 …WeightConstraint::CPair res = WeightConstraint::create(solver, body, wlits, 2, WeightConstraint::c…
458 CHECK(dynamic_cast<WeightConstraint*>(con));
654 …WeightConstraint::CPair res = WeightConstraint::create(s, body, wlits, 2, WeightConstraint::create…
668 …WeightConstraint* wc = WeightConstraint::create(s, lit_true(), wlits, 2, WeightConstraint::create_…
677 …WeightConstraint* wc = WeightConstraint::create(s, body, wlits, 3, WeightConstraint::create_no_add…
688 …WeightConstraint::CPair res = WeightConstraint::create(s, body, wlits, 2, WeightConstraint::create…
713 …WeightConstraint::CPair res = WeightConstraint::create(s, body, rep, WeightConstraint::create_no_a…
[all …]
H A Dsolver_test.cpp1523 …WeightConstraint::create(s, lit_false(), lits, 3, WeightConstraint::create_explicit | WeightConstr…
/dports/math/clasp/clasp-3.3.5/tests/
H A Dweight_constraint_test.cpp32 return WeightConstraint::create(*ctx.master(), W, lits, bound).ok(); in newWeightConstraint()
401 …WeightConstraint::CPair res = WeightConstraint::create(solver, body, wlits, 2, WeightConstraint::c…
424 …WeightConstraint::CPair res = WeightConstraint::create(solver, body, wlits, 2, WeightConstraint::c…
614 …WeightConstraint::CPair res = WeightConstraint::create(s, body, wlits, 2, WeightConstraint::create…
628 …WeightConstraint* wc = WeightConstraint::create(s, lit_true(), wlits, 2, WeightConstraint::create_…
637 …WeightConstraint* wc = WeightConstraint::create(s, body, wlits, 3, WeightConstraint::create_no_add…
648 …WeightConstraint::CPair res = WeightConstraint::create(s, body, wlits, 2, WeightConstraint::create…
673 …WeightConstraint::CPair res = WeightConstraint::create(s, body, rep, WeightConstraint::create_no_a…
694 …WeightConstraint::CPair res = WeightConstraint::create(s, body, rep, WeightConstraint::create_no_a…
H A Dsolver_test.cpp1523 …WeightConstraint::create(s, lit_false(), lits, 3, WeightConstraint::create_explicit | WeightConstr…
/dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/acro/tpl/momhlib/MOMHLib/MO/
H A Dweights.cpp141 double WeightConstraint = 0;//1.0 / NumberOfObjectives * (3.0 / 4); in GetRandomWeightVector() local
157 bFeasible = WeightVector [iobj] >= WeightConstraint; in GetRandomWeightVector()
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dclingocontrol.cc437 creationFlags |= Clasp::WeightConstraint::create_eq_bound; in addWeightConstraint()
440 creationFlags |= Clasp::WeightConstraint::create_only_bfb; in addWeightConstraint()
443 creationFlags |= Clasp::WeightConstraint::create_only_btb; in addWeightConstraint()
445 …return Clasp::WeightConstraint::create(*ctx.master(), Clasp::decodeLit(lit), claspLits, bound, cre… in addWeightConstraint()

12