Module Dot_driver

module Dot_driver: sig .. end
This file defines a functorial interface that allows to plot Numerical Transition System using the Graphviz dot Format.

See Dot_driver.Make functor in order to browse both types and available functions.

This file is released under the terms of the GNU LGPL v2.1 Licence.

Developped in the Verimag Laboratory, by Florent Garnier, contact me at florent dot garnier at gmail dot com for question and/or comments.

Febuary 2013.


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