simplification_equivalence_checkert Member List

This is the complete list of members for simplification_equivalence_checkert, including all inherited members.

check(const expr2tc &before, const expr2tc &after, std::string *witness=nullptr)	simplification_equivalence_checkert
simplification_equivalence_checkert(const namespacet &ns, const optionst &options)	simplification_equivalence_checkert
~simplification_equivalence_checkert()	simplification_equivalence_checkert