hets -- a heterogenous Specification (CASL) tool setContentsIndex
CspCASL.Logic_CspCASL
Portability non-portable
Stability experimental
Maintainer hets@tzi.de
Description

Here is the place where the class Logic is instantiated for CspCASL. Also the instances for Syntax an Category.

todo: - writing real functions - Modul Sign.hs mit CSP-CASL-Signaturen und Morphismen, basiernd auf CASL.Sign CSP-CASL-Signatur = (CASL-Sig,Menge von Kanalnamen) CSP-CASL-Morphismus = (CASL-Morphismus, Kanalnamenabbildung) oder nur CASL-Morphismus SYMB_ITEMS SYMB_MAP_ITEMS: erstmal von CASL (d.h. nur CASL-Morphismus) - instance Sentences Sätze = entweder CASL-Sätze oder CSP-CASL-Sätze Rest soweit wie möglich von CASL übernehmen - statische Analyse (gemäß Typ in Logic.Logic) schreiben und unten für basic_analysis einhängen

Kür: - Teillogiken (instance LatticeWithTop ...)

Synopsis
data CspCASL = CspCASL
Produced by Haddock version 0.6