var structCVC4_1_1options_1_1arithHeuristicPivots____option__t =
[
    [ "type", "structCVC4_1_1options_1_1arithHeuristicPivots____option__t.html#a50914a2932355deba75dae8a326ba3e6", null ],
    [ "operator()", "structCVC4_1_1options_1_1arithHeuristicPivots____option__t.html#afbf0350b1eb37c76a82273f52ff5b5b0", null ],
    [ "set", "structCVC4_1_1options_1_1arithHeuristicPivots____option__t.html#a00e55799ca5c21026cb3ed5965f251f6", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1arithHeuristicPivots____option__t.html#ab59cb33178ce8a77d3a48084ce0d8f57", null ]
];