| Copyright | (c) Maciek Makowski, Warsaw University 2004-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | till@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL.Amalgamability
Description
Amalgamability analysis for CASL.
Follows the algorithm outlined in MFCS 2001 (LNCS 2136, pp. 451-463, Springer 2001) paper.
- type CASLDiag = Gr CASLSign (Int, CASLMor)
- ensuresAmalgamability :: [CASLAmalgOpt] -> CASLDiag -> [(Node, CASLMor)] -> Gr String String -> Result Amalgamates
Documentation
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.