Module GrbTrRemoveMuxStrictCycles.Tr


module Tr: sig .. end

val umake : GrbGraphs.DG.t -> 'a -> (GrbGraphs.DG.t, string) GrbCommons.either
Main transformation function is called if the transformation is used
Returns DG.t * string either - Left graph for positive result and Right string for error messages
Parameters:
graph : GrbGraphs.DG.t
- graph
() : 'a
val puttomenu : GrbUDraw.appmenutype list -> GrbUDraw.appmenutype list
Menu name and position information