Module Test_block_compression.Dotofintnts

module Dotofintnts: Dot_driver.Make(Ntsint.P)

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.