var structCVC4_1_1options_1_1doITESimp____option__t =
[
    [ "type", "structCVC4_1_1options_1_1doITESimp____option__t.html#a2c462b8369a85404ff42a5d95dec0bbe", null ],
    [ "operator()", "structCVC4_1_1options_1_1doITESimp____option__t.html#a1a37d022fd6ea3ca8864c7318a28cb40", null ],
    [ "set", "structCVC4_1_1options_1_1doITESimp____option__t.html#a1ba121fa70087dafd456c1dbeb061ef2", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1doITESimp____option__t.html#a430e3657e6b3a41e1d6d11b1e3232cce", null ]
];