var structCVC4_1_1options_1_1bitvectorAlgebraicBudget____option__t =
[
    [ "type", "structCVC4_1_1options_1_1bitvectorAlgebraicBudget____option__t.html#ac0bcb50c96ab66d9d13fa2c9a4c4aaed", null ],
    [ "operator()", "structCVC4_1_1options_1_1bitvectorAlgebraicBudget____option__t.html#ad8f6472df776605ce1bc538b3bcf74db", null ],
    [ "set", "structCVC4_1_1options_1_1bitvectorAlgebraicBudget____option__t.html#ad0c4d033c145edb12b26506906bbb77a", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1bitvectorAlgebraicBudget____option__t.html#a86f09bc14738bfea6059b64f0a3c15af", null ]
];