| Copyright | (c) Markus Roggenbach, Till Mossakowski and Uni Bremen 2003 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | M.Roggenbach@swansea.ac.uk |
| Stability | experimental |
| Portability | non-portable(import Logic.Logic) |
| Safe Haskell | None |
CspCASL.Logic_CspCASL
Description
Here is the place where the class Logic is instantiated for CspCASL. A CspCASL signature is a CASL signature with a set of named channels and processes. Every process has a profile. Morphisms are supposed to allow renaming of channels and processes, too. Also sublogics (as a superset of some CASL sublogics) are still missing.
- data GenCspCASL a = GenCspCASL a
- class Show a => CspCASLSemantics a
- type CspCASL = GenCspCASL ()
- cspCASL :: GenCspCASL ()
- data Trace = Trace
- traceCspCASL :: GenCspCASL Trace
- data Failure = Failure
- failureCspCASL :: GenCspCASL Failure
Documentation
data GenCspCASL a
a generic logic id for CspCASL with different semantics
Constructors
| GenCspCASL a |
Instances
class Show a => CspCASLSemantics a
Instances
type CspCASL = GenCspCASL ()
The top-level logic with the loosest semantics (and without provers)
cspCASL :: GenCspCASL ()