var structCVC4_1_1options_1_1replayEarlyCloseDepths____option__t =
[
    [ "type", "structCVC4_1_1options_1_1replayEarlyCloseDepths____option__t.html#a50df44e0da6411299f4ce77f9b02acfe", null ],
    [ "operator()", "structCVC4_1_1options_1_1replayEarlyCloseDepths____option__t.html#acd5855f5dba55e696b20bca640f4ea9f", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1replayEarlyCloseDepths____option__t.html#ad5b6ba05f3ab5ab8bf04cde3224d7ed6", null ]
];