Hets - the Heterogeneous Tool Set

Copyright(c) Liam O'Reilly and Markus Roggenbach
Swansea University 2008
LicenseGPLv2 or higher, see LICENSE.txt
Maintainercsliam@swansea.ac.uk
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CspCASLProver.CspProverConsts

Description

Isabelle Abstract syntax constants for CSP-Prover operations.

Synopsis

Documentation

cspProver_NamedProcOp :: Term -> Term Source #

Name Process operator

cspProver_skipOp :: Term Source #

SKIP primitive process operator

cspProver_stopOp :: Term Source #

STOP primitive process operator

cspProver_divOp :: Term Source #

DIV primitive process operator

cspProver_runOp :: Term Source #

RUN primitive process operator

cspProver_chaosOp :: Term Source #

CHAOS primitive process operator

cspProver_action_prefixOp :: Term -> Term -> Term Source #

Action prefix operator

cspProver_external_prefix_choiceOp :: Term -> Term -> Term -> Term Source #

External prefix choice operator

cspProver_internal_prefix_choiceOp :: Term -> Term -> Term -> Term Source #

Internal prefix choice operator

cspProver_sequenceOp :: Term -> Term -> Term Source #

Sequence combinator operator

cspProver_external_choiceOp :: Term -> Term -> Term Source #

External choice operator

cspProver_internal_choiceOp :: Term -> Term -> Term Source #

Internal choice operator

cspProver_interleavingOp :: Term -> Term -> Term Source #

Interleaving parallel operator

cspProver_synchronousOp :: Term -> Term -> Term Source #

Synchronous parallel operator

cspProver_general_parallelOp :: Term -> Term -> Term -> Term Source #

Generalised parallel operator

cspProver_alphabetised_parallelOp :: Term -> Term -> Term -> Term -> Term Source #

Alphabetised parallel operator symbols

cspProver_hidingOp :: Term -> Term -> Term Source #

Hiding operator

cspProver_renamingOp :: Term -> Term -> Term Source #

Renaming operator

cspProver_conditionalOp :: Term -> Term -> Term -> Term Source #

Conditional operator

cspProver_chan_nondeterministic_sendOp :: Term -> Term -> Term -> Term -> Term Source #

Channel non-deterministic send operator

cspProver_chan_sendOp :: Term -> Term -> Term -> Term Source #

Channel send operator

cspProver_chan_recOp :: Term -> Term -> Term -> Term -> Term Source #

Channel receive operator