| Copyright | (c) Daniel Calegari Universidad de la Republica, Uruguay 2013 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | dcalegar@fing.edu.uy |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CSMOF.Logic_CSMOF
Description
Documentation
data CSMOF
Constructors
| CSMOF |
Instances
| Show CSMOF | |
| Language CSMOF | |
| Sentences CSMOF Sen Sign Morphism () | |
| Syntax CSMOF Metamodel () () () | |
| StaticAnalysis CSMOF Metamodel Sen () () Sign Morphism () () | |
| Logic CSMOF () Metamodel Sen () () Sign Morphism () () () | |
| Comorphism CSMOF2CASL CSMOF () Metamodel Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree |
type Morphism = DefaultMorphism Sign