I added functions Path.transitions() and Path.into_transitions() that return an iterator over tuples of the format described in the original issue.
To get the recurrent transitions of a lasso, the new functions can be called on the cycle part of the lasso. This was done in Lasso.recurrent_transitions() and Lasso.into_recurrent_transitions.
I am not sure if returning tuples is a good way. Maybe Path.transitions() should return something that that implements IsEdge. I have not found anything that could be used for that. The closest is EdgeReference but it is tied to a TransitionSystem which Paths or not. It would be possible to introduce a new type for this.
I added functions
Path.transitions()andPath.into_transitions()that return an iterator over tuples of the format described in the original issue. To get the recurrent transitions of a lasso, the new functions can be called on the cycle part of the lasso. This was done inLasso.recurrent_transitions()andLasso.into_recurrent_transitions.I am not sure if returning tuples is a good way. Maybe
Path.transitions()should return something that that implementsIsEdge. I have not found anything that could be used for that. The closest isEdgeReferencebut it is tied to aTransitionSystemwhichPaths or not. It would be possible to introduce a new type for this.