var structCVC4_1_1options_1_1arithPivotThreshold____option__t =
[
    [ "type", "structCVC4_1_1options_1_1arithPivotThreshold____option__t.html#afab33195ead0cc2b44e581b19a353405", null ],
    [ "operator()", "structCVC4_1_1options_1_1arithPivotThreshold____option__t.html#a48f1e151dff416f16f8b26e1f38c9521", null ],
    [ "set", "structCVC4_1_1options_1_1arithPivotThreshold____option__t.html#a2a4ac28e21b431d285f948daa41225b6", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1arithPivotThreshold____option__t.html#a5dfe0a9fbce1230d43d7af3364fd412b", null ]
];