var structCVC4_1_1options_1_1restrictedPivots____option__t =
[
    [ "type", "structCVC4_1_1options_1_1restrictedPivots____option__t.html#adcd1dfce3fabce64c801693b402110f2", null ],
    [ "operator()", "structCVC4_1_1options_1_1restrictedPivots____option__t.html#a9185a5a9eb4e1f9260defb06bc175f4a", null ],
    [ "set", "structCVC4_1_1options_1_1restrictedPivots____option__t.html#a8aae2ae8aef98fa14d4ca0a4873ccfd8", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1restrictedPivots____option__t.html#a337527d3564eb9790fc50ffb9ea28d35", null ]
];