Previous  Up  

Module Tools.Trans

module Trans: Set.S  with type elt = ISet.t * SISet.t
Sets of petri transitions.