22#include <unordered_map>
26 constexpr const char* default_unabbrev_string =
"eFGiMW^";
43 bool re_some_bool_ =
false;
44 bool re_some_f_g_ =
false;
45 bool re_some_other_ =
false;
47 std::unordered_map<formula, formula> cache_;
Clone and rewrite a formula to remove specified operators logical operators.
Definition: unabbrev.hh:32
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:26