text: var TerminationTypes_8h =
  [
      [ "MARK", "TerminationTypes_8h.html#a180a0f7eafba6e660ccf95a5e20f5abe", null ],
      [ "TERMINATION_TYPES", "TerminationTypes_8h.html#aa1f8ae8809f194fa99d5b1d187cabb08", null ],
      [ "TTYPE", "TerminationTypes_8h.html#a560f7cc61fc1418347533e419d709c91", null ],
      [ "StateTerminationType", "TerminationTypes_8h.html#ac625f7c0263cf62173276fff3a960e5a", [
        [ "TTYPE", "TerminationTypes_8h.html#ac625f7c0263cf62173276fff3a960e5aa20fa22f23fb1b96862a9e9e68b7c0260", null ],
        [ "MARK", "TerminationTypes_8h.html#ac625f7c0263cf62173276fff3a960e5aa4ca4ab703e2fa5514a61c3a488e020f8", null ],
        [ "TERMINATION_TYPES", "TerminationTypes_8h.html#ac625f7c0263cf62173276fff3a960e5aa51acffcd726b59c7f2e50fcca2e949d4", null ]
      ] ]
  ];