var structCVC4_1_1options_1_1arithUnateLemmaMode____option__t =
[
    [ "type", "structCVC4_1_1options_1_1arithUnateLemmaMode____option__t.html#acdf84e56671c205ff07ff25f10928c59", null ],
    [ "operator()", "structCVC4_1_1options_1_1arithUnateLemmaMode____option__t.html#a29b2d0d652e76e03df49e63d0dfe2744", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1arithUnateLemmaMode____option__t.html#a2728cdcc0c7e53ece434de9422160eda", null ]
];