Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder, Simon Ulbricht, Uni Bremen 20011
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermaeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Static.FromXmlUtils

Description

theory datastructure for development graphs

Synopsis

Documentation

getMorphism

Arguments

:: G_sign 
-> String

the symbol mappings

-> Result G_morphism 

reconstruct the morphism from symbols maps

translateByGName

Arguments

:: LogicGraph 
-> G_sign 
-> String

the name of the morphism

-> Result GMorphism 

get the gmorphism for a gmorphism name

getGMorphism

Arguments

:: LogicGraph 
-> G_sign 
-> String

the name of the gmorphism

-> String

the symbol mappings

-> Result GMorphism 

get the gmorphism for a gmorphism name with symbols maps