var structCVC4_1_1options_1_1varElimQuant____option__t =
[
    [ "type", "structCVC4_1_1options_1_1varElimQuant____option__t.html#a9a960cab6550f6b25d7830596b85f668", null ],
    [ "operator()", "structCVC4_1_1options_1_1varElimQuant____option__t.html#a4170b2955ba0afb1394a54116e723c7a", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1varElimQuant____option__t.html#a94e24c9be270a94528473a7c32be7bdd", null ]
];