| 228 | } |
| 229 | |
| 230 | void addDomainConstraint(ParserState* pp, std::string id, AST::Node* var, |
| 231 | Option<AST::SetLit* >& dom) { |
| 232 | if (!dom()) |
| 233 | return; |
| 234 | AST::Array* args = new AST::Array(2); |
| 235 | args->a[0] = var; |
| 236 | args->a[1] = dom.some(); |
| 237 | pp->domainConstraints.push_back(new ConExpr(id, args, NULL)); |
| 238 | } |
| 239 | |
| 240 | void addDomainConstraint(ParserState* pp, AST::Node* var, |
| 241 | Option<std::pair<double,double>* > dom) { |