/dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
H A D | drat_checker.cc | 91 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 D | cp_constraints.cc | 29 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 D | encoding.cc | 34 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 D | pb_constraint.cc | 398 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 D | encoding.h | 78 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 D | clause.h | 70 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 D | cp_constraints.h | 43 : literals_(literals), in BooleanXorPropagator() 52 const std::vector<Literal> literals_;
|
H A D | clause.cc | 1988 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 D | drat_checker.h | 236 std::vector<Literal> literals_; variable
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | clause.h | 104 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 D | clause.h | 104 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 D | clause.h | 104 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 D | SealRefInfo.java | 30 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 D | liveedit.cc | 743 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 D | README.md | 27 _using tagged template literals_
|
/dports/www/npm/npm-6.14.8/lib/node_modules/npm/node_modules/y18n/ |
H A D | README.md | 27 _using tagged template literals_
|
/dports/www/npm-node16/npm-6.14.8/lib/node_modules/npm/node_modules/y18n/ |
H A D | README.md | 27 _using tagged template literals_
|
/dports/www/npm-node17/npm-6.14.8/lib/node_modules/npm/node_modules/y18n/ |
H A D | README.md | 27 _using tagged template literals_
|
/dports/www/ilias/ILIAS-5.4.25/Modules/Chatroom/chat/node_modules/y18n/ |
H A D | README.md | 27 _using tagged template literals_
|
/dports/misc/netron/node_modules/y18n/ |
H A D | README.md | 27 _using tagged template literals_
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/devtools-frontend/src/node_modules/y18n/ |
H A D | README.md | 27 _using tagged template literals_
|
/dports/textproc/kibana7/kibana-7.16.2-darwin-x86_64/node_modules/y18n/ |
H A D | README.md | 27 _using tagged template literals_
|
/dports/textproc/kibana6/kibana-6.8.16-darwin-x86_64/node_modules/cacache/node_modules/y18n/ |
H A D | README.md | 27 _using tagged template literals_
|
/dports/sysutils/onefetch/onefetch-2.10.2/cargo-crates/tera-1.12.0/docs/node_modules/y18n/ |
H A D | README.md | 27 _using tagged template literals_
|
/dports/textproc/opensearch-dashboards/opensearch-dashboards-1.2.0-linux-x64/node_modules/y18n/ |
H A D | README.md | 27 _using tagged template literals_
|