var structCVC4_1_1options_1_1prenexQuant____option__t =
[
    [ "type", "structCVC4_1_1options_1_1prenexQuant____option__t.html#a658151dfa70c6bc01966f4b0c9aa5104", null ],
    [ "operator()", "structCVC4_1_1options_1_1prenexQuant____option__t.html#a94fa57bc264b1e7fc02c6f16660b0ca6", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1prenexQuant____option__t.html#a0494b59f8a1da85110585b23d0c7dd3c", null ]
];