Hets - the Heterogeneous Tool Set

Copyright(c) Adrian Riesco, Facultad de Informatica UCM 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerariesco@fdi.ucm.es
Stabilityexperimental
Portabilityportable
Safe HaskellNone

Maude.Maude2DG

Description

Conversion of Maude to Development Graphs.

Synopsis

Documentation

anaMaudeFile :: HetcatsOpts -> FilePath -> IO (Maybe (LibName, LibEnv))

generates the library and the development graph from the path of the maude file