/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
H A D | enumerator.cpp | 56 mini_ = 0; in init() 62 mini_ = m->attach(s, opt); in init() 77 bool EnumerationConstraint::integrateBound(Solver& s){ return !mini_ || mini_->integrate(s); } in integrateBound() 78 bool EnumerationConstraint::optimize() const { return mini_ && mini_->shared()->optimize();… in optimize() 87 if (mini_) { mini_->relax(s, disjointPath()); } in end() 135 if (mini_) { mini_->destroy(s, x); mini_ = 0; } in destroy() 141 if (mini_) { mini_->simplify(s, reinit); } in simplify() 148 if (mini_ && !mini_->handleModel(s)){ return false; } in commitModel() 157 if (mini_) { in commitUnsat() 188 if (mini_) { mini_ = 0; } in reset() [all …]
|
H A D | unfounded_check.cpp | 75 , mini_(0) in DefaultUnfoundedCheck() 78 mini_.release(); in DefaultUnfoundedCheck() 149 mini_ = new MinimalityCheck(s.searchConfig().fwdCheck); in init() 150 if (const uint32 sd = mini_->fwd.signDef) { in init() 228 bool checkMin = ctx == 0 && mini_.get() && mini_->partialCheck(s.decisionLevel()); in propagateFixpoint() 248 if (!mini_.get() || findNonHcfUfs(s) == ufs_none) { return true; } in valid() 257 if (mini_.get()) { mini_->scc = 0; } in simplify() 549 mini_->schedNext(solver_->decisionLevel(), false); in falsifyUfs() 730 HccIter hIt = graph_->nonHcfBegin() + mini_->scc; in findNonHcfUfs() 749 mini_->scc = static_cast<uint32>(hIt - graph_->nonHcfBegin()); in findNonHcfUfs() [all …]
|
H A D | shared_context.cpp | 770 : mini_(0), progress_(0), lastTopLevel_(0) { in SharedContext() 785 delete mini_; in ~SharedContext() 866 && (!mini_ || mini_->reset()); in unfreeze() 977 if (!mini_) { mini_ = new Minimize(); } in addMinimize() 978 mini_->add(p, x); in addMinimize() 981 return mini_ != 0; in hasMinimize() 984 delete mini_; in removeMinimize() 985 mini_ = 0; in removeMinimize() 988 return mini_ ? mini_->get(*this) : 0; in minimize() 991 return mini_ ? mini_->product.get() : 0; in minimizeNoCreate()
|
/dports/math/clasp/clasp-3.3.5/src/ |
H A D | enumerator.cpp | 56 mini_ = 0; in init() 62 mini_ = m->attach(s, opt); in init() 77 bool EnumerationConstraint::integrateBound(Solver& s){ return !mini_ || mini_->integrate(s); } in integrateBound() 78 bool EnumerationConstraint::optimize() const { return mini_ && mini_->shared()->optimize();… in optimize() 87 if (mini_) { mini_->relax(s, disjointPath()); } in end() 135 if (mini_) { mini_->destroy(s, x); mini_ = 0; } in destroy() 141 if (mini_) { mini_->simplify(s, reinit); } in simplify() 148 if (mini_ && !mini_->handleModel(s)){ return false; } in commitModel() 157 if (mini_) { in commitUnsat() 188 if (mini_) { mini_ = 0; } in reset() [all …]
|
H A D | unfounded_check.cpp | 75 , mini_(0) in DefaultUnfoundedCheck() 78 mini_.release(); in DefaultUnfoundedCheck() 149 mini_ = new MinimalityCheck(s.searchConfig().fwdCheck); in init() 150 if (const uint32 sd = mini_->fwd.signDef) { in init() 228 bool checkMin = ctx == 0 && mini_.get() && mini_->partialCheck(s.decisionLevel()); in propagateFixpoint() 248 if (!mini_.get() || findNonHcfUfs(s) == ufs_none) { return true; } in valid() 257 if (mini_.get()) { mini_->scc = 0; } in simplify() 549 mini_->schedNext(solver_->decisionLevel(), false); in falsifyUfs() 728 HccIter hIt = graph_->nonHcfBegin() + mini_->scc; in findNonHcfUfs() 747 mini_->scc = static_cast<uint32>(hIt - graph_->nonHcfBegin()); in findNonHcfUfs() [all …]
|
H A D | shared_context.cpp | 770 : mini_(0), progress_(0), lastTopLevel_(0) { in SharedContext() 785 delete mini_; in ~SharedContext() 866 && (!mini_ || mini_->reset()); in unfreeze() 976 if (!mini_) { mini_ = new Minimize(); } in addMinimize() 977 mini_->add(p, x); in addMinimize() 980 return mini_ != 0; in hasMinimize() 983 delete mini_; in removeMinimize() 984 mini_ = 0; in removeMinimize() 987 return mini_ ? mini_->get(*this) : 0; in minimize() 990 return mini_ ? mini_->product.get() : 0; in minimizeNoCreate()
|
/dports/math/clingo/clingo-5.5.1/clasp/src/ |
H A D | enumerator.cpp | 56 mini_ = 0; in init() 62 mini_ = m->attach(s, opt); in init() 77 bool EnumerationConstraint::integrateBound(Solver& s){ return !mini_ || mini_->integrate(s); } in integrateBound() 78 bool EnumerationConstraint::optimize() const { return mini_ && mini_->shared()->optimize();… in optimize() 87 if (mini_) { mini_->relax(s, disjointPath()); } in end() 135 if (mini_) { mini_->destroy(s, x); mini_ = 0; } in destroy() 141 if (mini_) { mini_->simplify(s, reinit); } in simplify() 148 if (mini_ && !mini_->handleModel(s)){ return false; } in commitModel() 157 if (mini_) { in commitUnsat() 188 if (mini_) { mini_ = 0; } in reset() [all …]
|
H A D | unfounded_check.cpp | 75 , mini_(0) in DefaultUnfoundedCheck() 78 mini_.release(); in DefaultUnfoundedCheck() 149 mini_ = new MinimalityCheck(s.searchConfig().fwdCheck); in init() 150 if (const uint32 sd = mini_->fwd.signDef) { in init() 228 bool checkMin = ctx == 0 && mini_.get() && mini_->partialCheck(s.decisionLevel()); in propagateFixpoint() 248 if (!mini_.get() || findNonHcfUfs(s) == ufs_none) { return true; } in valid() 257 if (mini_.get()) { mini_->scc = 0; } in simplify() 549 mini_->schedNext(solver_->decisionLevel(), false); in falsifyUfs() 730 HccIter hIt = graph_->nonHcfBegin() + mini_->scc; in findNonHcfUfs() 749 mini_->scc = static_cast<uint32>(hIt - graph_->nonHcfBegin()); in findNonHcfUfs() [all …]
|
H A D | shared_context.cpp | 770 : mini_(0), progress_(0), lastTopLevel_(0) { in SharedContext() 785 delete mini_; in ~SharedContext() 866 && (!mini_ || mini_->reset()); in unfreeze() 977 if (!mini_) { mini_ = new Minimize(); } in addMinimize() 978 mini_->add(p, x); in addMinimize() 981 return mini_ != 0; in hasMinimize() 984 delete mini_; in removeMinimize() 985 mini_ = 0; in removeMinimize() 988 return mini_ ? mini_->get(*this) : 0; in minimize() 991 return mini_ ? mini_->product.get() : 0; in minimizeNoCreate()
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | enumerator.h | 221 …bool optimize() const { return mini_ && mini_->mode() != MinimizeMode_t::enumerate… in optimize() 223 …bool tentative() const { return mini_ && mini_->mode() == MinimizeMode_t::enumOpt &… in tentative() 225 Minimizer minimizer() const { return mini_; } in minimizer() 242 …virtual bool exhaustive() const { return mini_ && mini_->mode() != MinimizeMode_t::enumerate… in exhaustive() 261 SharedMinimizeData* mini_; variable 283 MinPtr minimizer() const { return mini_; } in minimizer() 294 void setMinimizer(MinPtr min) { mini_ = min; } in setMinimizer() 316 MinimizeConstraint* mini_; variable
|
H A D | unfounded_check.h | 293 MiniPtr mini_; // minimality checker (only for DLPs) variable
|
H A D | shared_context.h | 932 Minimize* mini_; // pointer to set of weak constraints variable
|
/dports/math/clasp/clasp-3.3.5/clasp/ |
H A D | enumerator.h | 221 …bool optimize() const { return mini_ && mini_->mode() != MinimizeMode_t::enumerate… in optimize() 223 …bool tentative() const { return mini_ && mini_->mode() == MinimizeMode_t::enumOpt &… in tentative() 225 Minimizer minimizer() const { return mini_; } in minimizer() 242 …virtual bool exhaustive() const { return mini_ && mini_->mode() != MinimizeMode_t::enumerate… in exhaustive() 261 SharedMinimizeData* mini_; variable 283 MinPtr minimizer() const { return mini_; } in minimizer() 294 void setMinimizer(MinPtr min) { mini_ = min; } in setMinimizer() 316 MinimizeConstraint* mini_; variable
|
H A D | unfounded_check.h | 293 MiniPtr mini_; // minimality checker (only for DLPs) variable
|
H A D | shared_context.h | 933 Minimize* mini_; // pointer to set of weak constraints variable
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
H A D | enumerator.h | 221 …bool optimize() const { return mini_ && mini_->mode() != MinimizeMode_t::enumerate… in optimize() 223 …bool tentative() const { return mini_ && mini_->mode() == MinimizeMode_t::enumOpt &… in tentative() 225 Minimizer minimizer() const { return mini_; } in minimizer() 242 …virtual bool exhaustive() const { return mini_ && mini_->mode() != MinimizeMode_t::enumerate… in exhaustive() 261 SharedMinimizeData* mini_; variable 283 MinPtr minimizer() const { return mini_; } in minimizer() 294 void setMinimizer(MinPtr min) { mini_ = min; } in setMinimizer() 316 MinimizeConstraint* mini_; variable
|
H A D | unfounded_check.h | 293 MiniPtr mini_; // minimality checker (only for DLPs) variable
|
H A D | shared_context.h | 932 Minimize* mini_; // pointer to set of weak constraints variable
|
/dports/devel/llvm80/llvm-8.0.1.src/lib/Target/Mips/ |
H A D | MipsScheduleP5600.td | 409 // maxi_[su].[bhwd], mini_[su].[bhwd], sra?.[bhwd], srar?.[bhwd], srlr.[bhwd],
|
/dports/devel/llvm70/llvm-7.0.1.src/lib/Target/Mips/ |
H A D | MipsScheduleP5600.td | 409 // maxi_[su].[bhwd], mini_[su].[bhwd], sra?.[bhwd], srar?.[bhwd], srlr.[bhwd],
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/lib/Target/Mips/ |
H A D | MipsScheduleP5600.td | 427 // maxi_[su].[bhwd], mini_[su].[bhwd], sra?.[bhwd], srar?.[bhwd], srlr.[bhwd],
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/lib/Target/Mips/ |
H A D | MipsScheduleP5600.td | 428 // maxi_[su].[bhwd], mini_[su].[bhwd], sra?.[bhwd], srar?.[bhwd], srlr.[bhwd],
|
/dports/devel/llvm10/llvm-10.0.1.src/lib/Target/Mips/ |
H A D | MipsScheduleP5600.td | 427 // maxi_[su].[bhwd], mini_[su].[bhwd], sra?.[bhwd], srar?.[bhwd], srlr.[bhwd],
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/lib/Target/Mips/ |
H A D | MipsScheduleP5600.td | 428 // maxi_[su].[bhwd], mini_[su].[bhwd], sra?.[bhwd], srar?.[bhwd], srlr.[bhwd],
|
/dports/graphics/llvm-mesa/llvm-13.0.1.src/lib/Target/Mips/ |
H A D | MipsScheduleP5600.td | 428 // maxi_[su].[bhwd], mini_[su].[bhwd], sra?.[bhwd], srar?.[bhwd], srlr.[bhwd],
|