21#include <spot/tl/relabel.hh>
22#include <spot/twa/twagraph.hh>
23#include <spot/misc/bddlt.hh>
61 SPOT_API relabeling_map
63 unsigned max_letter = -1u,
64 unsigned max_letter_mult = -1u,
65 const bdd& concerned_ap = bddtrue,
66 std::string var_prefix =
"__nv");
Definition: automata.hh:26
relabeling_map partitioned_relabel_here(twa_graph_ptr &aut, bool split=false, unsigned max_letter=-1u, unsigned max_letter_mult=-1u, const bdd &concerned_ap=bddtrue, std::string var_prefix="__nv")
Replace conditions in aut with non-overlapping conditions over fresh variables.
void relabel_here(twa_graph_ptr &aut, relabeling_map *relmap)
replace atomic propositions in an automaton