Copyright | (c) Dominik Dietrich, DFKI Bremen 2010 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | dominik.dietrich@dfki.de |
Stability | experimental |
Portability | non-portable (imports Logic.Logic) |
Safe Haskell | None |
Instance of class Logic for the CSL logic Also the instances for Syntax and Category.
Documentation
data CSL
Lid for reduce logic
Show CSL | |
Language CSL | |
Sentences CSL CMD Sign Morphism Symbol | Instance of Sentences for reduce logic |
Syntax CSL BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS | Syntax of CSL logic |
StaticAnalysis CSL BASIC_SPEC CMD SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol | Static Analysis for reduce logic |
Logic CSL () BASIC_SPEC CMD SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol [EXPRESSION] | Instance of Logic for reduce logc |