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

data BasicExtResponse Source #

Constructors

Failure Bool 
Success G_theory Int (Set G_symbol) Bool 

getMorphism Source #

Arguments

:: G_sign 
-> String

the symbol mappings

-> Result G_morphism 

reconstruct the morphism from symbols maps

translateByGName Source #

Arguments

:: LogicGraph 
-> G_sign 
-> String

the name of the morphism

-> Result GMorphism 

get the gmorphism for a gmorphism name

getGMorphism Source #

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