var structCVC4_1_1options_1_1bitvectorPropagate____option__t =
[
    [ "type", "structCVC4_1_1options_1_1bitvectorPropagate____option__t.html#ab4d4b044ee10ffe564e7d8f08980332b", null ],
    [ "operator()", "structCVC4_1_1options_1_1bitvectorPropagate____option__t.html#a98f2e544caf37a576c29480f0efaeaf0", null ],
    [ "set", "structCVC4_1_1options_1_1bitvectorPropagate____option__t.html#a6900cbfa37678eea0023443fd68fdbc8", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1bitvectorPropagate____option__t.html#acc3923826d13fb7421ca93e6f5b649da", null ]
];