Home
last modified time | relevance | path

Searched refs:clauses_ (Results 1 – 25 of 74) sorted by relevance

123

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Ddrat_checker.cc63 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 Dsimplification.cc187 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 Dsat_inprocessing.cc921 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 Dstatements.h673 : 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 Dstatements.h745 : 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 Dstatements.h726 : 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 Dstatements.h818 : 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 Dstatements.h818 : 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 Dstatements.h883 : 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 Dstatements.h883 : 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 Dstatements.h883 : 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 Dstatements.h883 : 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 Dstatements.h883 : 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 Dstatements.h883 : 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 Dstatements.h1067 : 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 Dstatements.h1067 : 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 Dstatements.h1067 : 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 Dstatements.h1067 : 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 Dstatements.h1067 : 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 Dstatements.h1067 : 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 Dstatements.h1067 : 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 Dquery_condition.cc54 : 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 Dstatements.h967 : 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 Dstatements.h967 : 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 Dstatements.h967 : 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 …]

123