flatmax@592: var classIHCState =
flatmax@592: [
flatmax@592:     [ "IHCState", "classIHCState.html#a96105dcb1c0798bb249dd087f566abcb", null ],
flatmax@592:     [ "~IHCState", "classIHCState.html#adeac66fdb1f403834f9447e4a6616139", null ]
flatmax@592: ];