| 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 |
CSL.Logic_CSL
Description
Instance of class Logic for the CSL logic Also the instances for Syntax and Category.
Documentation
data CSL
Lid for reduce logic
Constructors
| CSL |
Instances
| 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 |