var structCVC4_1_1options_1_1maxApproxDepth____option__t =
[
    [ "type", "structCVC4_1_1options_1_1maxApproxDepth____option__t.html#a6e82355cb0f7ed7c1a019264ea534dfc", null ],
    [ "operator()", "structCVC4_1_1options_1_1maxApproxDepth____option__t.html#afb74587d2e7de18a4d83cc9d3aba0fbc", null ],
    [ "set", "structCVC4_1_1options_1_1maxApproxDepth____option__t.html#a3e837da8ffbfb8fcd9909707844ca181", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1maxApproxDepth____option__t.html#ada17be7ebb7268d536b6d28149438229", null ]
];