Searched refs:negation_ (Results 1 – 2 of 2) sorted by relevance
30 this.negation_ = null; in IntVar()37 this.negation_ = null; in IntVar()117 if (negation_ == null) { in not()118 negation_ = new NotBooleanVariable(this); in not()120 return negation_; in not()131 private NotBooleanVariable negation_ = null; field in IntVar
614 negation_ = null; in IntVar()622 negation_ = null; in IntVar()678 if (negation_ == null) in Not()680 negation_ = new NotBooleanVariable(this); in Not()682 return negation_; in Not()688 private NotBooleanVariable negation_; field in Google.OrTools.Sat.IntVar