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.