var structCVC4_1_1options_1_1lemmaRejectCutSize____option__t =
[
    [ "type", "structCVC4_1_1options_1_1lemmaRejectCutSize____option__t.html#af146417914fece08f2c093a801d55c47", null ],
    [ "operator()", "structCVC4_1_1options_1_1lemmaRejectCutSize____option__t.html#a0116695fb8b4f3b9c57fc8b2a7449f02", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1lemmaRejectCutSize____option__t.html#a2708d5bd2773ff15445d5cc2e10d0d65", null ]
];