Copyright	(c) Christian Maeder, DFKI GmbH 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable
Safe Haskell	None

Fpl.Logic_Fpl

Description

Instance of class Logic for FPL.

Documentation

data Fpl

Constructors

Show Fpl
Language Fpl
Sentences Fpl FplForm FplSign FplMor Symbol
Syntax Fpl FplBasicSpec Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis Fpl FplBasicSpec FplForm SYMB_ITEMS SYMB_MAP_ITEMS FplSign FplMor Symbol RawSymbol
Logic Fpl () FplBasicSpec FplForm SYMB_ITEMS SYMB_MAP_ITEMS FplSign FplMor Symbol RawSymbol ()