var structCVC4_1_1options_1_1replayFailurePenalty____option__t =
[
    [ "type", "structCVC4_1_1options_1_1replayFailurePenalty____option__t.html#a019cadf52680b272714d311e8153ceb6", null ],
    [ "operator()", "structCVC4_1_1options_1_1replayFailurePenalty____option__t.html#a1bc81e82dac7dcfabe4f7681e00c8c93", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1replayFailurePenalty____option__t.html#ab5decf5a134f4add24d72f503bffb751", null ]
];