Copyright	(c) Liam O'Reilly and Markus Roggenbach Swansea University 2008
License	GPLv2 or higher, see LICENSE.txt
Maintainer	csliam@swansea.ac.uk
Stability	provisional
Portability	portable
Safe Haskell	None

CspCASLProver.CspProverConsts

Description

Isabelle Abstract syntax constants for CSP-Prover operations.

Synopsis

cspProverbinEqF :: Term -> Term -> Term
cspProver_NamedProcOp :: Term -> Term
cspProver_skipOp :: Term
cspProver_stopOp :: Term
cspProver_divOp :: Term
cspProver_runOp :: Term
cspProver_chaosOp :: Term
cspProver_action_prefixOp :: Term -> Term -> Term
cspProver_external_prefix_choiceOp :: Term -> Term -> Term -> Term
cspProver_internal_prefix_choiceOp :: Term -> Term -> Term -> Term
cspProver_sequenceOp :: Term -> Term -> Term
cspProver_external_choiceOp :: Term -> Term -> Term
cspProver_internal_choiceOp :: Term -> Term -> Term
cspProver_interleavingOp :: Term -> Term -> Term
cspProver_synchronousOp :: Term -> Term -> Term
cspProver_general_parallelOp :: Term -> Term -> Term -> Term
cspProver_alphabetised_parallelOp :: Term -> Term -> Term -> Term -> Term
cspProver_hidingOp :: Term -> Term -> Term
cspProver_renamingOp :: Term -> Term -> Term
cspProver_conditionalOp :: Term -> Term -> Term -> Term
cspProver_chan_nondeterministic_sendOp :: Term -> Term -> Term -> Term -> Term
cspProver_chan_sendOp :: Term -> Term -> Term -> Term
cspProver_chan_recOp :: Term -> Term -> Term -> Term -> Term

Documentation

cspProverbinEqF :: Term -> Term -> Term Source #

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