var structCVC4_1_1options_1_1userPatternsQuant____option__t =
[
    [ "type", "structCVC4_1_1options_1_1userPatternsQuant____option__t.html#a370e7448cf95f7daec3e88d95f1cd562", null ],
    [ "operator()", "structCVC4_1_1options_1_1userPatternsQuant____option__t.html#a259268722cf2a5767d6cdf0f31a4c8b1", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1userPatternsQuant____option__t.html#ae5aee0f1a72df447bf06fc3af2a4792e", null ]
];