text: var classktt_1_1_configuration_fraction =
  [
      [ "ConfigurationFraction", "classktt_1_1_configuration_fraction.html#a35e73692570bf50ddbac98f2f7eeb089", null ],
      [ "getConfigurationCount", "classktt_1_1_configuration_fraction.html#a1cac357c46bd11ef7245eed7267a86ce", null ],
      [ "getStatusString", "classktt_1_1_configuration_fraction.html#aa9356bcb3008f0c8b0ba5aeb56b7d2f7", null ],
      [ "initialize", "classktt_1_1_configuration_fraction.html#a6190eadf1bc697e116bc05bac80fe347", null ],
      [ "isSatisfied", "classktt_1_1_configuration_fraction.html#aeb4f13b25cb9ed6b8fdedb1102fec849", null ],
      [ "updateStatus", "classktt_1_1_configuration_fraction.html#af7f09555fba0d6b444a865e15f533ccf", null ]
  ];