var structCVC4_1_1options_1_1eagerInstQuant____option__t =
[
    [ "type", "structCVC4_1_1options_1_1eagerInstQuant____option__t.html#a96f5005248699f68b4758138092b503d", null ],
    [ "operator()", "structCVC4_1_1options_1_1eagerInstQuant____option__t.html#a3bfb499d22bc0b4d7bf99739382de9ee", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1eagerInstQuant____option__t.html#a049b12e7e91fa6730126d645440923f5", null ]
];