| 140 | } |
| 141 | |
| 142 | FloatVal |
| 143 | LinFloatExpr::Node::fill(Home home, |
| 144 | Float::Linear::Term* tf) const { |
| 145 | FloatVal d=0; |
| 146 | fill(home,tf,1.0,d); |
| 147 | Float::Limits::check(d,"MiniModel::LinFloatExpr"); |
| 148 | return d; |
| 149 | } |
| 150 | |
| 151 | void |
| 152 | LinFloatExpr::post(Home home, FloatRelType frt) const { |