var structCVC4_1_1options_1_1satRestartFirst____option__t =
[
    [ "type", "structCVC4_1_1options_1_1satRestartFirst____option__t.html#a77baba17743ddcad5c979f136e900ceb", null ],
    [ "operator()", "structCVC4_1_1options_1_1satRestartFirst____option__t.html#a18124b71ff61d7fcc2744add8f230abd", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1satRestartFirst____option__t.html#abd1d206ddf8af78863260a42c65a3e0d", null ]
];