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 implementation of the interface functions omdocToSym, omdocToSen , addOMadtToTheory, addOmdocToTheory from class Logic. The actual instantiation can be found in module CASL.Logic_CASL.

- 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

A TCSymbols is transformed to a CASL symbol with given name.