| Copyright | (c) Ewaryst Schulz DFKI Bremen 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | ewaryst.schulz@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL.OMDocImport
Description
CASL implementation of the interface functions omdocToSym, omdocToSen , addOMadtToTheory, addOmdocToTheory from class Logic. The actual instantiation can be found in module CASL.Logic_CASL.
Synopsis
- omdocToSym :: Env -> TCElement -> String -> Result Symbol
- omdocToSen :: Env -> TCElement -> String -> Result (Maybe (Named (FORMULA f)))
- addOMadtToTheory :: Env -> (Sign f e, [Named (FORMULA f)]) -> [[OmdADT]] -> Result (Sign f e, [Named (FORMULA f)])
- addOmdocToTheory :: Env -> (Sign f e, [Named (FORMULA f)]) -> [TCElement] -> Result (Sign f e, [Named (FORMULA f)])
Documentation
omdocToSym :: Env -> TCElement -> String -> Result Symbol Source #
A TCSymbols is transformed to a CASL symbol with given name.