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