var structCVC4_1_1options_1_1soiApproxMajorFailure____option__t =
[
    [ "type", "structCVC4_1_1options_1_1soiApproxMajorFailure____option__t.html#aa33a54084a7d76486c4cde2dd1f47932", null ],
    [ "operator()", "structCVC4_1_1options_1_1soiApproxMajorFailure____option__t.html#abb9be9ef05cf8f6054de6a0ff4cb3950", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1soiApproxMajorFailure____option__t.html#a3ccb197f60f8817ed8bdc17a7ad3b77f", null ]
];