Functor Dot_driver.Make

module Make: 
functor (Param : Nts_functor.NTS_PARAM) -> sig .. end
Parameters:
Param : Nts_functor.NTS_PARAM

module NFParam: sig .. end
type anotations = NFParam.anotations 
type control = NFParam.control 
type nts_automaton = NFParam.nts_automaton 
type nts_system = NFParam.nts_system 
val dot_of_cautomaton : ?standalone_graph:bool -> NFParam.nts_automaton -> string
Exports a GraphViz .dot format descritpion of a NTS counter automaton.
val dot_of_nts : NFParam.nts_system -> string
Exports the collection of all automata of a NTS hyerachical system into a .dot file.
val dot_of_trace_upon_nts : NFParam.nts_system -> Trace_types.trace -> string
Prints a trance upon the hierachical transition system
val dot_of_subcfg_of_nts : NFParam.nts_system -> Trace_types.trace -> string
val dot_of_all_subsystem_of_nts : NFParam.nts_system -> string
Computes the Graphviz representation of hyerarchical numerical transition system.