/dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
H A D | drat_checker.cc | 63 clauses_[*it].num_copies += 1; 78 clauses_[*it].num_copies += 1; 103 clauses_.push_back( 109 return ClauseIndex(clauses_.size() - 1); 116 Clause& existing_clause = clauses_[*it]; 122 clauses_[ClauseIndex(clauses_.size() - 2)].deleted_clauses.push_back( 136 clauses_.pop_back(); 145 clauses_.back().num_literals != 0) { 163 const Clause& clause = clauses_[i]; 192 if (!clauses_[j].IsDeleted(i) && [all …]
|
H A D | simplification.cc | 187 clauses_.pop_back(); in AddClause() 231 clauses_.back().swap(*clause); in AddClauseInternal() 299 return clauses_[c1].size() < clauses_[c2].size(); in ProcessAllClauses() 487 tmp_new_clause_ = clauses_[ci]; in SimpleBva() 719 if (!clauses_[i].empty()) { in CrossProduct() 724 if (!clauses_[i].empty()) { in CrossProduct() 739 const int rs = ComputeResolvantSize(x, clauses_[i], clauses_[j]); in CrossProduct() 773 if (ComputeResolvant(x, clauses_[i], clauses_[j], &temp)) { in CrossProduct() 793 for (Literal e : clauses_[ci]) { in Remove() 802 gtl::STLClearObject(&clauses_[ci]); in Remove() [all …]
|
H A D | sat_inprocessing.cc | 921 clauses_.clear(); in InitializeForNewRound() 928 clauses_.push_back(c); in InitializeForNewRound() 985 if (clauses_[i]->empty()) continue; in ProcessLiteral() 1020 const auto c = clauses_[i]->AsSpan(); in ProcessLiteral() 1055 if (clauses_[i]->empty()) continue; in ClauseIsBlocked() 1089 clauses_.clear(); in DoOneRound() 1098 clauses_.push_back(c); in DoOneRound() 1290 DeleteClause(clauses_[i]); in DeleteAllClausesContaining() 1303 clauses_.push_back(pt); in AddClause() 1524 const auto c = clauses_[i]->AsSpan(); in CrossProduct() [all …]
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/go/gofrontend/ |
H A D | statements.h | 673 : clauses_() in Select_clauses() 855 Clauses clauses_; variable 873 this->clauses_ = clauses; in add_clauses() 908 Select_clauses* clauses_; 1212 : clauses_() in Case_clauses() 1363 Clauses clauses_; variable 1381 this->clauses_ = clauses; in add_clauses() 1406 Case_clauses* clauses_; variable 1418 : clauses_() in Type_case_clauses() 1519 Type_clauses clauses_; variable [all …]
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/go/gofrontend/ |
H A D | statements.h | 745 : clauses_() in Select_clauses() 927 Clauses clauses_; variable 945 this->clauses_ = clauses; in add_clauses() 979 Select_clauses* clauses_; 1286 : clauses_() in Case_clauses() 1437 Clauses clauses_; variable 1455 this->clauses_ = clauses; in add_clauses() 1483 Case_clauses* clauses_; variable 1495 : clauses_() in Type_case_clauses() 1607 Type_clauses clauses_; variable [all …]
|
/dports/lang/gcc48/gcc-4.8.5/gcc/go/gofrontend/ |
H A D | statements.h | 726 : clauses_() in Select_clauses() 908 Clauses clauses_; variable 926 this->clauses_ = clauses; in add_clauses() 960 Select_clauses* clauses_; 1267 : clauses_() in Case_clauses() 1418 Clauses clauses_; variable 1436 this->clauses_ = clauses; in add_clauses() 1464 Case_clauses* clauses_; variable 1476 : clauses_() in Type_case_clauses() 1588 Type_clauses clauses_; variable [all …]
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/go/gofrontend/ |
H A D | statements.h | 818 : clauses_() in Select_clauses() 1008 Clauses clauses_; variable 1026 this->clauses_ = clauses; in add_clauses() 1064 Select_clauses* clauses_; 1418 : clauses_() in Case_clauses() 1569 Clauses clauses_; variable 1587 this->clauses_ = clauses; in add_clauses() 1615 Case_clauses* clauses_; variable 1627 : clauses_() in Type_case_clauses() 1739 Type_clauses clauses_; variable [all …]
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/go/gofrontend/ |
H A D | statements.h | 818 : clauses_() in Select_clauses() 1008 Clauses clauses_; variable 1026 this->clauses_ = clauses; in add_clauses() 1064 Select_clauses* clauses_; 1418 : clauses_() in Case_clauses() 1569 Clauses clauses_; variable 1587 this->clauses_ = clauses; in add_clauses() 1615 Case_clauses* clauses_; variable 1627 : clauses_() in Type_case_clauses() 1739 Type_clauses clauses_; variable [all …]
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/go/gofrontend/ |
H A D | statements.h | 883 : clauses_() in Select_clauses() 1055 Clauses clauses_; variable 1073 this->clauses_ = clauses; in add_clauses() 1107 Select_clauses* clauses_; 1545 : clauses_() in Case_clauses() 1696 Clauses clauses_; variable 1714 this->clauses_ = clauses; in add_clauses() 1742 Case_clauses* clauses_; variable 1754 : clauses_() in Type_case_clauses() 1866 Type_clauses clauses_; variable [all …]
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/go/gofrontend/ |
H A D | statements.h | 883 : clauses_() in Select_clauses() 1055 Clauses clauses_; variable 1073 this->clauses_ = clauses; in add_clauses() 1107 Select_clauses* clauses_; 1545 : clauses_() in Case_clauses() 1696 Clauses clauses_; variable 1714 this->clauses_ = clauses; in add_clauses() 1742 Case_clauses* clauses_; variable 1754 : clauses_() in Type_case_clauses() 1866 Type_clauses clauses_; variable [all …]
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/go/gofrontend/ |
H A D | statements.h | 883 : clauses_() in Select_clauses() 1055 Clauses clauses_; variable 1073 this->clauses_ = clauses; in add_clauses() 1107 Select_clauses* clauses_; 1545 : clauses_() in Case_clauses() 1696 Clauses clauses_; variable 1714 this->clauses_ = clauses; in add_clauses() 1742 Case_clauses* clauses_; variable 1754 : clauses_() in Type_case_clauses() 1866 Type_clauses clauses_; variable [all …]
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/go/gofrontend/ |
H A D | statements.h | 883 : clauses_() in Select_clauses() 1055 Clauses clauses_; variable 1073 this->clauses_ = clauses; in add_clauses() 1107 Select_clauses* clauses_; 1545 : clauses_() in Case_clauses() 1696 Clauses clauses_; variable 1714 this->clauses_ = clauses; in add_clauses() 1742 Case_clauses* clauses_; variable 1754 : clauses_() in Type_case_clauses() 1866 Type_clauses clauses_; variable [all …]
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/go/gofrontend/ |
H A D | statements.h | 883 : clauses_() in Select_clauses() 1055 Clauses clauses_; variable 1073 this->clauses_ = clauses; in add_clauses() 1107 Select_clauses* clauses_; 1545 : clauses_() in Case_clauses() 1696 Clauses clauses_; variable 1714 this->clauses_ = clauses; in add_clauses() 1742 Case_clauses* clauses_; variable 1754 : clauses_() in Type_case_clauses() 1866 Type_clauses clauses_; variable [all …]
|
/dports/lang/gcc8/gcc-8.5.0/gcc/go/gofrontend/ |
H A D | statements.h | 883 : clauses_() in Select_clauses() 1055 Clauses clauses_; variable 1073 this->clauses_ = clauses; in add_clauses() 1107 Select_clauses* clauses_; 1545 : clauses_() in Case_clauses() 1696 Clauses clauses_; variable 1714 this->clauses_ = clauses; in add_clauses() 1742 Case_clauses* clauses_; variable 1754 : clauses_() in Type_case_clauses() 1866 Type_clauses clauses_; variable [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/go/gofrontend/ |
H A D | statements.h | 1067 : clauses_() in Select_clauses() 1295 Clauses clauses_; variable 1313 this->clauses_ = clauses; in add_clauses() 1355 Select_clauses* clauses_; variable 1868 : clauses_() in Case_clauses() 2019 Clauses clauses_; variable 2037 this->clauses_ = clauses; in add_clauses() 2065 Case_clauses* clauses_; variable 2077 : clauses_() in Type_case_clauses() 2189 Type_clauses clauses_; variable [all …]
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/go/gofrontend/ |
H A D | statements.h | 1067 : clauses_() in Select_clauses() 1279 Clauses clauses_; variable 1297 this->clauses_ = clauses; in add_clauses() 1339 Select_clauses* clauses_; variable 1852 : clauses_() in Case_clauses() 2003 Clauses clauses_; variable 2021 this->clauses_ = clauses; in add_clauses() 2049 Case_clauses* clauses_; variable 2061 : clauses_() in Type_case_clauses() 2173 Type_clauses clauses_; variable [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/go/gofrontend/ |
H A D | statements.h | 1067 : clauses_() in Select_clauses() 1279 Clauses clauses_; variable 1297 this->clauses_ = clauses; in add_clauses() 1339 Select_clauses* clauses_; variable 1852 : clauses_() in Case_clauses() 2003 Clauses clauses_; variable 2021 this->clauses_ = clauses; in add_clauses() 2049 Case_clauses* clauses_; variable 2061 : clauses_() in Type_case_clauses() 2173 Type_clauses clauses_; variable [all …]
|
/dports/lang/gcc11/gcc-11.2.0/gcc/go/gofrontend/ |
H A D | statements.h | 1067 : clauses_() in Select_clauses() 1295 Clauses clauses_; variable 1313 this->clauses_ = clauses; in add_clauses() 1355 Select_clauses* clauses_; variable 1868 : clauses_() in Case_clauses() 2019 Clauses clauses_; variable 2037 this->clauses_ = clauses; in add_clauses() 2065 Case_clauses* clauses_; variable 2077 : clauses_() in Type_case_clauses() 2189 Type_clauses clauses_; variable [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/go/gofrontend/ |
H A D | statements.h | 1067 : clauses_() in Select_clauses() 1295 Clauses clauses_; variable 1313 this->clauses_ = clauses; in add_clauses() 1355 Select_clauses* clauses_; variable 1868 : clauses_() in Case_clauses() 2019 Clauses clauses_; variable 2037 this->clauses_ = clauses; in add_clauses() 2065 Case_clauses* clauses_; variable 2077 : clauses_() in Type_case_clauses() 2189 Type_clauses clauses_; variable [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/go/gofrontend/ |
H A D | statements.h | 1067 : clauses_() in Select_clauses() 1279 Clauses clauses_; variable 1297 this->clauses_ = clauses; in add_clauses() 1339 Select_clauses* clauses_; variable 1852 : clauses_() in Case_clauses() 2003 Clauses clauses_; variable 2021 this->clauses_ = clauses; in add_clauses() 2049 Case_clauses* clauses_; variable 2061 : clauses_() in Type_case_clauses() 2173 Type_clauses clauses_; variable [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/go/gofrontend/ |
H A D | statements.h | 1067 : clauses_() in Select_clauses() 1295 Clauses clauses_; variable 1313 this->clauses_ = clauses; in add_clauses() 1355 Select_clauses* clauses_; variable 1868 : clauses_() in Case_clauses() 2019 Clauses clauses_; variable 2037 this->clauses_ = clauses; in add_clauses() 2065 Case_clauses* clauses_; variable 2077 : clauses_() in Type_case_clauses() 2189 Type_clauses clauses_; variable [all …]
|
/dports/databases/tiledb/TileDB-2.5.2/tiledb/sm/query/ |
H A D | query_condition.cc | 54 : clauses_(rhs.clauses_) in QueryCondition() 59 : clauses_(std::move(rhs.clauses_)) in QueryCondition() 67 clauses_ = rhs.clauses_; in operator =() 74 clauses_ = std::move(rhs.clauses_); in operator =() 85 if (!clauses_.empty()) { in init() 89 clauses_.emplace_back( in init() 179 combined_cond->clauses_ = clauses_; in combine() 181 combined_cond->clauses_.end(), rhs.clauses_.begin(), rhs.clauses_.end()); in combine() 196 return clauses_.empty(); in empty() 800 if (clauses_.empty()) { in apply() [all …]
|
/dports/lang/gcc9/gcc-9.4.0/gcc/go/gofrontend/ |
H A D | statements.h | 967 : clauses_() in Select_clauses() 1153 Clauses clauses_; variable 1171 this->clauses_ = clauses; in add_clauses() 1205 Select_clauses* clauses_; 1643 : clauses_() in Case_clauses() 1794 Clauses clauses_; variable 1812 this->clauses_ = clauses; in add_clauses() 1840 Case_clauses* clauses_; variable 1852 : clauses_() in Type_case_clauses() 1964 Type_clauses clauses_; variable [all …]
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/go/gofrontend/ |
H A D | statements.h | 967 : clauses_() in Select_clauses() 1153 Clauses clauses_; variable 1171 this->clauses_ = clauses; in add_clauses() 1205 Select_clauses* clauses_; 1643 : clauses_() in Case_clauses() 1794 Clauses clauses_; variable 1812 this->clauses_ = clauses; in add_clauses() 1840 Case_clauses* clauses_; variable 1852 : clauses_() in Type_case_clauses() 1964 Type_clauses clauses_; variable [all …]
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/go/gofrontend/ |
H A D | statements.h | 967 : clauses_() in Select_clauses() 1153 Clauses clauses_; variable 1171 this->clauses_ = clauses; in add_clauses() 1205 Select_clauses* clauses_; 1643 : clauses_() in Case_clauses() 1794 Clauses clauses_; variable 1812 this->clauses_ = clauses; in add_clauses() 1840 Case_clauses* clauses_; variable 1852 : clauses_() in Type_case_clauses() 1964 Type_clauses clauses_; variable [all …]
|