23 #include <spot/misc/hash.hh>
28 enum relabeling_style { Abc, Pnn };
30 typedef std::map<formula, formula> relabeling_map;
39 relabeling_map* m =
nullptr);
50 relabeling_map* m =
nullptr);
formula relabel_apply(formula f, relabeling_map *m)
Replace atomic propositions of f by subformulas specified in m.
formula relabel(formula f, relabeling_style style, relabeling_map *m=nullptr)
Relabel the atomic propositions in a formula.
formula relabel_bse(formula f, relabeling_style style, relabeling_map *m=nullptr)
Relabel Boolean subexpressions in a formula using atomic propositions.
Definition: automata.hh:27