22#include <unordered_map>
26 typedef std::unordered_map<formula, formula> snf_cache;
formula star_normal_form_bounded(formula sere, snf_cache *cache=nullptr)
A variant of star_normal_form() for r[*0..j] where j < ω.
formula star_normal_form(formula sere, snf_cache *cache=nullptr)
Helper to rewrite a sere in Star Normal Form.
Definition: automata.hh:26