Hets - the Heterogeneous Tool Set

Copyright(c) Andy Gimblett and Swansea University 2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainera.m.gimblett@swan.ac.uk
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CspCASL.CspCASL_Keywords

Description

String constants for CspCASL keywords to be used for parsing and printing.

Synopsis

Documentation

channelS :: String Source #

Keywords identifying beginning of channel declaration part.

processS :: String Source #

Keyword identifying beginning of process equation part.

runS :: String Source #

RUN primitive process

chaosS :: String Source #

CHAOS primitive process

divS :: String Source #

"div" primitive process

skipS :: String Source #

SKIP primitive process

stopS :: String Source #

STOP primitive process

chan_sendS :: String Source #

svar_sortS :: String Source #

doubleSemis :: String Source #

startCspKeywords :: [String] Source #

starting CSP-CASL keywords

cspKeywords :: [String] Source #

Reserved keywords specific to CSP-CASL.