var structCVC4_1_1options_1_1bvAbstraction____option__t =
[
    [ "type", "structCVC4_1_1options_1_1bvAbstraction____option__t.html#a2e883ed8bdc35875521d00a985160e5a", null ],
    [ "operator()", "structCVC4_1_1options_1_1bvAbstraction____option__t.html#ac5606ca4cebf04726bb5500ee0dcf583", null ],
    [ "set", "structCVC4_1_1options_1_1bvAbstraction____option__t.html#a05abbefe9dc6719e2d369467fbb743c4", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1bvAbstraction____option__t.html#a130c80766a3504c1dd0aeceface06a23", null ]
];