Method isBool

gecode/flatzinc/ast.hh:489–492

    return (dynamic_cast<IntLit*>(this) != nullptr);
  }
  inline bool
  Node::isBool(void) {
    return (dynamic_cast<BoolLit*>(this) != nullptr);
  }
  inline bool
  Node::isFloat(void) {
    return (dynamic_cast<FloatLit*>(this) != nullptr);