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.