| 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
- data BasicExtResponse
- 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
extendByBasicSpec :: GlobalAnnos -> String -> G_theory -> (BasicExtResponse, String)
deleteHiddenSymbols :: String -> G_sign -> Result G_sign
Arguments
| :: G_sign | |
| -> String | the symbol mappings |
| -> Result G_morphism |
reconstruct the morphism from symbols maps
Arguments
| :: LogicGraph | |
| -> G_sign | |
| -> String | the name of the morphism |
| -> Result GMorphism |
get the gmorphism for a gmorphism name