20 #ifndef SPOT_LTLVISIT_RELABEL_HH
21 # define SPOT_LTLVISIT_RELABEL_HH
24 #include "misc/hash.hh"
30 enum relabeling_style { Abc, Pnn };
39 for (iterator i = begin(); i != end(); ++i)
69 #endif // SPOT_LTLVISIT_RELABEL_HH
SPOT_API const formula * relabel(const formula *f, relabeling_style style, relabeling_map *m=0)
Relabel the atomic propositions in a formula.
Definition: relabel.hh:33
SPOT_API const formula * relabel_bse(const formula *f, relabeling_style style, relabeling_map *m=0)
Relabel Boolean subexpressions in a formula using atomic propositions.