var structCVC4_1_1options_1_1rrOneInstPerRound____option__t =
[
    [ "type", "structCVC4_1_1options_1_1rrOneInstPerRound____option__t.html#ab98cb44345084a4d9d08643c1dbecab9", null ],
    [ "operator()", "structCVC4_1_1options_1_1rrOneInstPerRound____option__t.html#a6fb8cb5a73e49c9e82649e6ebc161925", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1rrOneInstPerRound____option__t.html#ae575e4d060a84ec4e7b99166112a2783", null ]
];