Method isFloatVar

gecode/flatzinc/ast.hh:481–484

    return (dynamic_cast<SetVar*>(this) != nullptr);
  }
  inline bool
  Node::isFloatVar(void) {
    return (dynamic_cast<FloatVar*>(this) != nullptr);
  }
  inline bool
  Node::isInt(void) {
    return (dynamic_cast<IntLit*>(this) != nullptr);