23 #include "misc/hash.hh"
30 enum relabeling_style { Abc, Pnn };
35 formula_ptr_less_than>
41 i++->second->destroy();
42 this->std::map<
const formula*,
const formula*,
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.