Home
last modified time | relevance | path

Searched refs:mini_ (Results 1 – 25 of 52) sorted by relevance

123

/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Denumerator.cpp56 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 Dunfounded_check.cpp75 , 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 Dshared_context.cpp770 : 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 Denumerator.cpp56 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 Dunfounded_check.cpp75 , 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 Dshared_context.cpp770 : 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 Denumerator.cpp56 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 Dunfounded_check.cpp75 , 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 Dshared_context.cpp770 : 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 Denumerator.h221 …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 Dunfounded_check.h293 MiniPtr mini_; // minimality checker (only for DLPs) variable
H A Dshared_context.h932 Minimize* mini_; // pointer to set of weak constraints variable
/dports/math/clasp/clasp-3.3.5/clasp/
H A Denumerator.h221 …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 Dunfounded_check.h293 MiniPtr mini_; // minimality checker (only for DLPs) variable
H A Dshared_context.h933 Minimize* mini_; // pointer to set of weak constraints variable
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Denumerator.h221 …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 Dunfounded_check.h293 MiniPtr mini_; // minimality checker (only for DLPs) variable
H A Dshared_context.h932 Minimize* mini_; // pointer to set of weak constraints variable
/dports/devel/llvm80/llvm-8.0.1.src/lib/Target/Mips/
H A DMipsScheduleP5600.td409 // 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 DMipsScheduleP5600.td409 // 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 DMipsScheduleP5600.td427 // 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 DMipsScheduleP5600.td428 // 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 DMipsScheduleP5600.td427 // 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 DMipsScheduleP5600.td428 // 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 DMipsScheduleP5600.td428 // maxi_[su].[bhwd], mini_[su].[bhwd], sra?.[bhwd], srar?.[bhwd], srlr.[bhwd],

123