Method ann2ipl

gecode/flatzinc/flatzinc.cpp:2570–2585

  }
#endif
  IntPropLevel
  FlatZincSpace::ann2ipl(AST::Node* ann) {
    if (ann) {
      if (ann->hasAtom("val") || ann->hasAtom("value_propagation"))
        return IPL_VAL;
      if (ann->hasAtom("domain") || ann->hasAtom("domain_propagation"))
        return IPL_DOM;
      if (ann->hasAtom("bounds") ||
          ann->hasAtom("bounds_propagation") ||
          ann->hasAtom("boundsR") ||
          ann->hasAtom("boundsD") ||
          ann->hasAtom("boundsZ"))
        return IPL_BND;
    }
    return IPL_DEF;
  }

  DFA
  FlatZincSpace::getSharedDFA(DFA& a) {