23 #include <unordered_map>
27 constexpr
const char* default_unabbrev_string =
"eFGiMW^";
44 bool re_some_bool_ =
false;
45 bool re_some_f_g_ =
false;
46 bool re_some_other_ =
false;
48 std::unordered_map<formula, formula> cache_;
Clone and rewrite a formula to remove specified operators logical operators.
Definition: unabbrev.hh:33
unabbreviator(const char *opt=default_unabbrev_string)
Constructor.
formula unabbreviate(formula in, const char *opt=default_unabbrev_string)
Clone and rewrite a formula to remove specified operators logical operators.
Definition: automata.hh:27