var structCVC4_1_1options_1_1miniscopeQuantFreeVar____option__t =
[
    [ "type", "structCVC4_1_1options_1_1miniscopeQuantFreeVar____option__t.html#ab346dfd9acba19317e008fe402956fe5", null ],
    [ "operator()", "structCVC4_1_1options_1_1miniscopeQuantFreeVar____option__t.html#a95d67210e09d14be5c6aba5609b03ff8", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1miniscopeQuantFreeVar____option__t.html#a198a1d3e47908c6b38cd2240acc8790d", null ]
];