Method isSet

gecode/flatzinc/ast.hh:497–500

    return (dynamic_cast<FloatLit*>(this) != nullptr);
  }
  inline bool
  Node::isSet(void) {
    return (dynamic_cast<SetLit*>(this) != nullptr);
  }
  inline bool
  Node::isString(void) {
    return (dynamic_cast<String*>(this) != nullptr);