| Copyright | (c) Uni Bremen 2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | till@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
ConstraintCASL.StaticAna
Description
static analysis for ConstraintCASL specifications Follows Chaps. III:2 and III:3 of the CASL Reference Manual.
Documentation
type ConstraintCASLSign = Sign ConstraintFORMULA ()
type ConstraintCASLMor = Morphism ConstraintFORMULA () ()