Hets - the Heterogeneous Tool Set

Copyright	(c) Christian Maeder Simon Ulbricht Uni Bremen 20011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	maeder@dfki.de
Stability	provisional
Portability	non-portable(Logic)
Safe Haskell	None

Static.FromXmlUtils

Description

theory datastructure for development graphs

Synopsis

data BasicExtResponse
- = Failure Bool
- | Success G_theory Int (Set G_symbol) Bool
extendByBasicSpec :: GlobalAnnos -> String -> G_theory -> (BasicExtResponse, String)
deleteHiddenSymbols :: String -> G_sign -> Result G_sign
getMorphism :: G_sign -> String -> Result G_morphism
translateByGName :: LogicGraph -> G_sign -> String -> Result GMorphism
getGMorphism :: LogicGraph -> G_sign -> String -> String -> Result GMorphism

Documentation

data BasicExtResponse Source #

Constructors

Failure Bool
Success G_theory Int (Set G_symbol) Bool

extendByBasicSpec :: GlobalAnnos -> String -> G_theory -> (BasicExtResponse, String) Source #

deleteHiddenSymbols :: String -> G_sign -> Result G_sign Source #

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