Method getAtom

gecode/flatzinc/ast.hh:402–407

  }

  inline Atom*
  Node::getAtom(void) {
    if (Atom* a = dynamic_cast<Atom*>(this))
      return a;
    throw TypeError("atom expected");
  }

  inline std::string
  Node::getVarName(void) {