0.4.7

This version introduces a mechanism that can transfer symbolic sets between two "compatible" symbolic domains (i.e. a SymbolicContext or SymbolicAsyncGraph).

The domains are considered "compatible" w.r.t. a particular set if they both admit all symbolic variables that the set depends on (the variables of its "support set"), and if these variables have the same ordering (w.r.t. each other). The exact semantics of this operation depend on how exactly the two networks/domains differ from each other. But as an example, it can be used to "lift" a set of states from a reduced network to the full counterpart. Or it can be used to "restrict" a set of states of the full network down to the reduced network, as long the set only depends on the variables of the reduced network.

API changes:

• Added SymbolicContext::transfer_from(&self, bdd: &Bdd, context: &SymbolicContext).
• Added SymbolicAsyncGraph::transfer_colors_from, SymbolicAsyncGraph::transfer_vertices_from, and SymbolicAsyncGraph::transfer_from.