var structCVC4_1_1options_1_1fmfOneInstPerRound____option__t =
[
    [ "type", "structCVC4_1_1options_1_1fmfOneInstPerRound____option__t.html#a248e7535bcb43a3e2192f4bc1b8e3d4b", null ],
    [ "operator()", "structCVC4_1_1options_1_1fmfOneInstPerRound____option__t.html#a349004c3e8c6999a671f033a304eecff", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1fmfOneInstPerRound____option__t.html#a97c09d1edf27c2b374bae24a1dff7e17", null ]
];