var structCVC4_1_1options_1_1modelUninterpDtEnum____option__t =
[
    [ "type", "structCVC4_1_1options_1_1modelUninterpDtEnum____option__t.html#a2cf99c424976e0009dd2616c43ab28a5", null ],
    [ "operator()", "structCVC4_1_1options_1_1modelUninterpDtEnum____option__t.html#a13836288988c6caebab60f36b134c125", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1modelUninterpDtEnum____option__t.html#af65f3f93613e0bbd19929627f139f8e4", null ]
];