var _simplify_8h =
[
    [ "simplify", "_simplify_8h.html#ae8e925c5d658d689e0798106019bc083", null ],
    [ "simplify", "_simplify_8h.html#ab7ad0375ba62ff83d5d5a2ed88610989", null ],
    [ "can_prove", "_simplify_8h.html#a5068393c9b9f8b58f7e1c164bee99f0b", null ],
    [ "simplify_exprs", "_simplify_8h.html#a0918e7154f0624c9f1a15d34f4776c54", null ]
];