text: var class_control_defn =
  [
      [ "ControlDefn", "class_control_defn.html#a0df83c16c793acdbb57610aead6e4cdb", null ],
      [ "~ControlDefn", "class_control_defn.html#a3a17a67d27961c1d5ee9279a050cb45f", null ]
  ];