var structCVC4_1_1options_1_1satClauseDecay____option__t =
[
    [ "type", "structCVC4_1_1options_1_1satClauseDecay____option__t.html#ad941f8b978aa977585351f530654610a", null ],
    [ "operator()", "structCVC4_1_1options_1_1satClauseDecay____option__t.html#aa85d37ff52f566cd6d1246aa7f115569", null ],
    [ "set", "structCVC4_1_1options_1_1satClauseDecay____option__t.html#a08824d713d1943b4537099fa0bf43204", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1satClauseDecay____option__t.html#ac62864d941ced8a99a1cb8216033e62f", null ]
];