23 #include <unordered_map>
29 constexpr
const char* default_unabbrev_string =
"eFGiMW^";
46 bool re_some_bool_ =
false;
47 bool re_some_f_g_ =
false;
48 bool re_some_other_ =
false;
50 std::unordered_map<const formula*, const formula*> cache_;
SPOT_API const formula * unabbreviate(const formula *in, const char *opt=default_unabbrev_string)
Clone and rewrite a formula to remove specified operators logical operators.
Clone and rewrite a formula to remove specified operators logical operators.
Definition: unabbrev.hh:34