Hets - the Heterogeneous Tool Set

CopyrightHeng Jiang Uni Bremen 2004-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Static.DGTranslation

Description

Translation of development graphs along comorphisms Follows Sect. IV:4.3 of the CASL Reference Manual.

Synopsis

Documentation

libEnv_translation :: LibEnv -> AnyComorphism -> Result LibEnv Source #

translation of a LibEnv (a map of globalcontext)

getDGLogic :: LibEnv -> Result G_sublogics Source #

get the maximal sublogic of a graph. each DGraph and each node will be tested, in order to find the maximal sublogic of th Graph. All edges and nodes will be searched also in the meantime, so as to test, whether the GMorphism of edges is homogeneous, and the logics of nodes are equal.