module Transform:
Parameters: |
|
typet =
A.cfg * B.cfg * B.node array
val create : A.cfg -> 'a -> A.cfg * 'a * B.node array
A
should be static : further nodes in A
can not be indexed. B
is free of constraint.val set_image : 'a * 'b * 'c array -> A.node -> 'c -> unit
val image : 'a * B.cfg * B.node array -> A.node -> B.node
val copy : A.cfg * B.cfg * B.node array ->
(A.node -> A.transition -> B.transition) -> unit
A
into B
with the provided morphism.