Functor CfgLib.Transform

module Transform: 
functor (A : CfgTypes.Cfg) ->
functor (B : CfgTypes.Cfg) -> sig .. end
Parameters:
A : CfgTypes.Cfg
B : CfgTypes.Cfg

type t = A.cfg * B.cfg * B.node array 
val create : A.cfg -> 'a -> A.cfg * 'a * B.node array
Graph 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
Duplicates A into B with the provided morphism.