| 143 | } |
| 144 | |
| 145 | int |
| 146 | LinIntExpr::Node::fill(Home home, const IntPropLevels& ipls, |
| 147 | Int::Linear::Term<Int::IntView>* ti, |
| 148 | Int::Linear::Term<Int::BoolView>* tb) const { |
| 149 | long long int d=0; |
| 150 | fill(home,ipls,ti,tb,1,d); |
| 151 | Int::Limits::check(d,"MiniModel::LinIntExpr"); |
| 152 | return static_cast<int>(d); |
| 153 | } |
| 154 | |
| 155 | void |
| 156 | LinIntExpr::post(Home home, IntRelType irt, |