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

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

Documentation

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

TCSymbol is transformed into a CommonLogic Symbol with given name

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

Sentences from OMElements