var arith__unate__lemma__mode_8h =
[
    [ "ArithUnateLemmaMode", "arith__unate__lemma__mode_8h.html#a10ddf61df5f0756c1015753307267214", [
      [ "NO_PRESOLVE_LEMMAS", "arith__unate__lemma__mode_8h.html#a10ddf61df5f0756c1015753307267214ad3bb05f9245a049a78801082febd15ff", null ],
      [ "INEQUALITY_PRESOLVE_LEMMAS", "arith__unate__lemma__mode_8h.html#a10ddf61df5f0756c1015753307267214aacd6d8ccd8fcbb5776e903301e1991dc", null ],
      [ "EQUALITY_PRESOLVE_LEMMAS", "arith__unate__lemma__mode_8h.html#a10ddf61df5f0756c1015753307267214a1f0b97b4f78940f8e8b2281cbe3c11f6", null ],
      [ "ALL_PRESOLVE_LEMMAS", "arith__unate__lemma__mode_8h.html#a10ddf61df5f0756c1015753307267214a4b71806d46ef2dc276cc4060068d82c8", null ]
    ] ],
    [ "operator<<", "arith__unate__lemma__mode_8h.html#af98329e649e7138aaf497d4b3accf2e4", null ]
];