| 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 | Safe-Inferred |
QVTR.Sign
Description
Documentation
data RuleDef
data Sign
Constructors
| Sign | |
Fields
| |
Instances
| Eq Sign | |
| Data Sign | |
| Ord Sign | |
| Show Sign | |
| ShATermConvertible Sign | |
| GetRange Sign | |
| Pretty Sign | |
| Typeable * Sign | |
| Sentences QVTR Sen Sign Morphism () | |
| 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 |
data Sen
Instances
| Eq Sen | |
| Data Sen | |
| Ord Sen | |
| Show Sen | |
| ShATermConvertible Sen | |
| GetRange Sen | |
| Pretty Sen | |
| Typeable * Sen | |
| Sentences QVTR Sen Sign Morphism () | |
| 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 |
data RelationSen
Constructors
| RelationSen | |
Fields
| |