| 56 | } |
| 57 | |
| 58 | void |
| 59 | Registry::post(FlatZincSpace& s, const ConExpr& ce) { |
| 60 | std::map<std::string,poster>::iterator i = r.find(ce.id); |
| 61 | if (i == r.end()) { |
| 62 | throw FlatZinc::Error("Registry", |
| 63 | std::string("Constraint ")+ce.id+" not found", ce.ann); |
| 64 | } |
| 65 | i->second(s, ce, ce.ann); |
| 66 | } |
| 67 | |
| 68 | void |
| 69 | Registry::add(const std::string& id, poster p) { |