This PR implements the rework of collect_... methods on the Deterministic trait. We now use a unified approach via the Sproutable::collect_from method, which allows 'downcasting' of edge and state colors. The price we pay for this is that sometimes the specific transition system into which we want to collect needs to be specified.
Various collect methods now additionally return a bijective mapping between old and new state indices.
This PR implements the rework of
collect_...methods on theDeterministictrait. We now use a unified approach via theSproutable::collect_frommethod, which allows 'downcasting' of edge and state colors. The price we pay for this is that sometimes the specific transition system into which we want to collect needs to be specified.Various collect methods now additionally return a bijective mapping between old and new state indices.