Searched refs:boolvar_ (Results 1 – 3 of 3) sorted by relevance
988 boolvar_(b), in IsBetweenCt()1004 boolvar_->SetRange(l, u); in InitialPropagate()1005 if (boolvar_->Bound()) { in InitialPropagate()1046 IntVar* const boolvar_; member in operations_research::__anona17938060a11::IsBetweenCt1313 boolvar_(b), in IsMemberCt()1332 if (!boolvar_->Bound()) { in Post()1340 boolvar_->SetRange(0, 1); in InitialPropagate()1341 if (boolvar_->Bound()) { in InitialPropagate()1366 if (boolvar_->Bound()) { in VarDomain()1399 boolvar_->SetValue(0); in VarDomain()[all …]
4457 boolvar_->WhenRange(d); in WhenRange()4471 BooleanVar* const boolvar_; member in operations_research::__anon234752210111::TimesBooleanPosIntExpr4477 boolvar_->SetValue(1); in SetMin()4487 boolvar_->SetValue(0); in SetMax()4512 boolvar_->SetValue(1); in SetRange()4516 boolvar_->SetValue(0); in SetRange()4577 boolvar_->WhenRange(d); in WhenRange()4591 BooleanVar* const boolvar_; member in operations_research::__anon234752210111::TimesBooleanIntExpr4610 boolvar_->SetValue(1); in SetMin()4613 boolvar_->SetValue(0); in SetMin()[all …]
695 boolvar_ = boolvar; in NotBooleanVariable()700 return -boolvar_.Index - 1; in GetIndex()705 return boolvar_; in Not()710 return boolvar_; in NotVar()715 return String.Format("Not({0})", boolvar_.ShortString()); in ShortString()718 private IntVar boolvar_; field in Google.OrTools.Sat.NotBooleanVariable