Searched refs:demons_ (Results 1 – 3 of 3) sorted by relevance
1433 demons_(vars.size()) {} in IntExprArrayElementCstCt()1439 demons_[i] = MakeConstraintDemon1( in Post()1441 vars_[i]->WhenDomain(demons_[i]); in Post()1459 demons_[index]->inhibit(solver()); in Propagate()1489 std::vector<Demon*> demons_; member in operations_research::__anona0c818880611::IntExprArrayElementCstCt1502 demons_(vars_.size()), in IntExprIndexOfCt()1509 demons_[i] = MakeConstraintDemon1( in Post()1511 vars_[i]->WhenDomain(demons_[i]); in Post()1524 demons_[i]->inhibit(solver()); in InitialPropagate()1527 demons_[i]->inhibit(solver()); in InitialPropagate()[all …]
1219 demons_(vars.size()), in ArrayBoolAndEq()1227 demons_[i] = in Post()1230 vars_[i]->WhenBound(demons_[i]); in Post()1319 if (demons_[i] != nullptr) { in InhibitAll()1320 demons_[i]->inhibit(solver()); in InhibitAll()1337 std::vector<Demon*> demons_; member in operations_research::__anonbe25377b0111::ArrayBoolAndEq1348 demons_(vars.size()), in ArrayBoolOrEq()1356 demons_[i] = in Post()1449 if (demons_[i] != nullptr) { in InhibitAll()1450 demons_[i]->inhibit(solver()); in InhibitAll()[all …]
9994 _there be demons_. Perhaps you have included too much cited text.