Home
last modified time | relevance | path

Searched refs:literals_ (Results 1 – 25 of 36) sorted by relevance

12

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Ddrat_checker.cc91 const int first_literal_index = literals_.size();
92 literals_.insert(literals_.end(), clause.begin(), clause.end());
95 std::sort(literals_.begin() + first_literal_index, literals_.end());
96 literals_.erase(
97 std::unique(literals_.begin() + first_literal_index, literals_.end()),
98 literals_.end());
100 for (int i = first_literal_index + 1; i < literals_.size(); ++i) {
101 CHECK(literals_[i] != literals_[i - 1].Negated());
135 literals_.resize(clauses_.back().first_literal_index);
296 {literals_[clause.first_literal_index], clause_index});
[all …]
H A Dcp_constraints.cc29 for (int i = 0; i < literals_.size(); ++i) { in Propagate()
30 const Literal l = literals_[i]; in Propagate()
45 for (int i = 0; i < literals_.size(); ++i) { in Propagate()
47 const Literal l = literals_[i]; in Propagate()
51 const Literal u = literals_[unassigned_index]; in Propagate()
63 for (int i = 0; i < literals_.size(); ++i) { in Propagate()
64 const Literal l = literals_[i]; in Propagate()
73 for (const Literal& l : literals_) { in RegisterWith()
H A Dencoding.cc34 literals_(1, l) {} in EncodingNode()
61 literals_.emplace_back(first_var_index, true); in InitializeLazyNode()
73 CHECK(!literals_.empty()); in IncreaseCurrentUB()
78 literals_[literals_.size() - 2]); in IncreaseCurrentUB()
84 while (i < literals_.size() && in Reduce()
89 literals_.erase(literals_.begin(), literals_.begin() + i); in Reduce()
90 while (!literals_.empty() && in Reduce()
92 literals_.pop_back(); in Reduce()
93 ub_ = lb_ + literals_.size(); in Reduce()
103 literals_.resize(upper_bound); in ApplyUpperBound()
[all …]
H A Dpb_constraint.cc398 literals_.reserve(cst.size()); in UpperBoundedLinearConstraint()
421 literals_.push_back(term.literal); in UpperBoundedLinearConstraint()
425 starts_.push_back(literals_.size()); in UpperBoundedLinearConstraint()
435 for (Literal literal : literals_) { in AddToConflict()
479 for (Literal literal : literals_) { in InitializeRhs()
505 for (Literal literal : literals_) { in InitializeRhs()
601 const Literal literal = literals_[i]; in FillReason()
633 const Literal literal = literals_[i]; in FillReason()
653 for (Literal literal : literals_) { in ComputeCancelation()
676 for (Literal literal : literals_) { in ResolvePBConflict()
[all …]
H A Dencoding.h78 int size() const { return literals_.size(); } in size()
81 CHECK_LT(i, literals_.size()); in literal()
82 return literals_[i]; in literal()
111 int current_ub() const { return lb_ + literals_.size(); } in current_ub()
127 std::vector<Literal> literals_; variable
H A Dclause.h70 const Literal* const begin() const { return &(literals_[0]); } in begin()
71 const Literal* const end() const { return &(literals_[size_]); } in end()
75 Literal FirstLiteral() const { return literals_[0]; } in FirstLiteral()
76 Literal SecondLiteral() const { return literals_[1]; } in SecondLiteral()
81 Literal PropagatedLiteral() const { return literals_[0]; } in PropagatedLiteral()
87 return absl::Span<const Literal>(&(literals_[1]), size_ - 1); in PropagationReason()
92 return absl::Span<const Literal>(&(literals_[0]), size_); in AsSpan()
118 Literal* literals() { return &(literals_[0]); } in literals()
129 for (const Literal l : new_clause) literals_[size_++] = l; in Rewrite()
136 Literal literals_[0]; variable
H A Dcp_constraints.h43 : literals_(literals), in BooleanXorPropagator()
52 const std::vector<Literal> literals_;
H A Dclause.cc1988 clause->literals_[i] = literals[i]; in Create()
1998 if (assignment.VariableIsAssigned(literals_[0].Variable()) || in RemoveFixedLiteralsAndTestIfTrue()
1999 assignment.VariableIsAssigned(literals_[1].Variable())) { in RemoveFixedLiteralsAndTestIfTrue()
2004 while (j < size_ && !assignment.VariableIsAssigned(literals_[j].Variable())) { in RemoveFixedLiteralsAndTestIfTrue()
2008 if (assignment.VariableIsAssigned(literals_[i].Variable())) { in RemoveFixedLiteralsAndTestIfTrue()
2009 if (assignment.LiteralIsTrue(literals_[i])) return true; in RemoveFixedLiteralsAndTestIfTrue()
2011 std::swap(literals_[j], literals_[i]); in RemoveFixedLiteralsAndTestIfTrue()
H A Ddrat_checker.h236 std::vector<Literal> literals_; variable
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dclause.h104 void reserve(LitVec::size_type s) { literals_.reserve(s); } in reserve()
106 void clear() { literals_.clear(); } in clear()
147 ClauseCreator& add(const Literal& p) { literals_.push_back(p); return *this; } in add()
151 uint32 size() const { return (uint32)literals_.size(); } in size()
153 Literal& operator[](uint32 i) { return literals_[i]; }
154 Literal operator[](uint32 i) const { return literals_[i]; }
156 const LitVec& lits() const { return literals_; } in lits()
157 LitVec& lits() { return literals_; } in lits()
305 LitVec literals_; // literals of the new clause variable
/dports/math/clasp/clasp-3.3.5/clasp/
H A Dclause.h104 void reserve(LitVec::size_type s) { literals_.reserve(s); } in reserve()
106 void clear() { literals_.clear(); } in clear()
147 ClauseCreator& add(const Literal& p) { literals_.push_back(p); return *this; } in add()
151 uint32 size() const { return (uint32)literals_.size(); } in size()
153 Literal& operator[](uint32 i) { return literals_[i]; }
154 Literal operator[](uint32 i) const { return literals_[i]; }
156 const LitVec& lits() const { return literals_; } in lits()
157 LitVec& lits() { return literals_; } in lits()
305 LitVec literals_; // literals of the new clause variable
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dclause.h104 void reserve(LitVec::size_type s) { literals_.reserve(s); } in reserve()
106 void clear() { literals_.clear(); } in clear()
147 ClauseCreator& add(const Literal& p) { literals_.push_back(p); return *this; } in add()
151 uint32 size() const { return (uint32)literals_.size(); } in size()
153 Literal& operator[](uint32 i) { return literals_[i]; }
154 Literal operator[](uint32 i) const { return literals_[i]; }
156 const LitVec& lits() const { return literals_; } in lits()
157 LitVec& lits() { return literals_; } in lits()
305 LitVec literals_; // literals of the new clause variable
/dports/biology/bbmap/bbmap/current/jgi/
H A DSealRefInfo.java30 public SealRefInfo(ArrayList<String> refs_, String[] literals_, PrintStream outstream){ in SealRefInfo() argument
33 literals=literals_; in SealRefInfo()
/dports/lang/v8/v8-9.6.180.12/src/debug/
H A Dliveedit.cc743 literals_->push_back(lit); in VisitFunctionLiteral()
746 literals_ = literals; in Run()
748 literals_ = nullptr; in Run()
752 std::vector<FunctionLiteral*>* literals_; member in v8::internal::__anondac13d6e0111::CollectFunctionLiterals
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/devtools-frontend/src/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_
/dports/www/npm/npm-6.14.8/lib/node_modules/npm/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_
/dports/www/npm-node16/npm-6.14.8/lib/node_modules/npm/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_
/dports/www/npm-node17/npm-6.14.8/lib/node_modules/npm/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_
/dports/www/ilias/ILIAS-5.4.25/Modules/Chatroom/chat/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_
/dports/misc/netron/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/devtools-frontend/src/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_
/dports/textproc/kibana7/kibana-7.16.2-darwin-x86_64/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_
/dports/textproc/kibana6/kibana-6.8.16-darwin-x86_64/node_modules/cacache/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_
/dports/sysutils/onefetch/onefetch-2.10.2/cargo-crates/tera-1.12.0/docs/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_
/dports/textproc/opensearch-dashboards/opensearch-dashboards-1.2.0-linux-x64/node_modules/y18n/
H A DREADME.md27 _using tagged template literals_

12