| 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 |
QVTR.Logic_QVTR
Description
Documentation
data QVTR
Constructors
| QVTR |
Instances
| Show QVTR | |
| Language QVTR | |
| Sentences QVTR Sen Sign Morphism () | |
| Syntax QVTR Transformation () () () | |
| StaticAnalysis QVTR Transformation Sen () () Sign Morphism () () | |
| Logic QVTR () Transformation Sen () () Sign Morphism () () () | |
| Comorphism QVTR2CASL QVTR () Transformation Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree |
type Morphism = DefaultMorphism Sign