Copyright	(c) Iulia Ignatov, DFKI Bremen 2009, Eugen Kuksa, Uni Bremen 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	eugenk@informatik.uni-bremen.de
Stability	experimental
Portability	portable
Safe Haskell	None

CommonLogic.OMDocImport

Description

Common Logic implementation of the interface functions omdocToSym and omdocToSen from class Logic. The actual instantiation can be found in module CommonLogic.Logic_CommonLogic.

Synopsis

Documentation

omdocToSym :: Env -> TCElement -> String -> Result Symbol

TCSymbol is transformed into a CommonLogic Symbol with given name

omdocToSen :: Env -> TCElement -> String -> Result (Maybe (Named TEXT_META))

Sentences from OMElements