clone automaton in Python
There seem to be no easy way to duplicate an automaton in Python.
In C++ we have spot::make_twa_graph(a, spot::twa::prop_set::all());
, but prop_set
is not binded in Python.
There seem to be no easy way to duplicate an automaton in Python.
In C++ we have spot::make_twa_graph(a, spot::twa::prop_set::all());
, but prop_set
is not binded in Python.