Hets - the Heterogeneous Tool Set

Copyright(c) Maciek Makowski Warsaw University 2004-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.Amalgamability

Contents

Description

Amalgamability analysis for CASL.

Follows the algorithm outlined in MFCS 2001 (LNCS 2136, pp. 451-463, Springer 2001) paper.

Synopsis

Documentation

ensuresAmalgamability Source #

Arguments

:: [CASLAmalgOpt]

program options

-> CASLDiag

the diagram to be checked

-> [(Node, CASLMor)]

the sink

-> Gr String String

the diagram containing descriptions of nodes and edges

-> Result Amalgamates 

The amalgamability checking function for CASL.

Orphan instances

(Pretty a, Pretty b) => Pretty (Gr a (Int, b)) Source # 

Methods

pretty :: Gr a (Int, b) -> Doc Source #

pretties :: [Gr a (Int, b)] -> Doc Source #