| 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.
- 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
cspProver_NamedProcOp :: Term -> Term
Name Process operator
SKIP primitive process operator
STOP primitive process operator
DIV primitive process operator
RUN primitive process operator
CHAOS primitive process operator
cspProver_action_prefixOp :: Term -> Term -> Term
Action prefix operator
cspProver_external_prefix_choiceOp :: Term -> Term -> Term -> Term
External prefix choice operator
cspProver_internal_prefix_choiceOp :: Term -> Term -> Term -> Term
Internal prefix choice operator
cspProver_sequenceOp :: Term -> Term -> Term
Sequence combinator operator
cspProver_external_choiceOp :: Term -> Term -> Term
External choice operator
cspProver_internal_choiceOp :: Term -> Term -> Term
Internal choice operator
cspProver_interleavingOp :: Term -> Term -> Term
Interleaving parallel operator
cspProver_synchronousOp :: Term -> Term -> Term
Synchronous parallel operator
cspProver_general_parallelOp :: Term -> Term -> Term -> Term
Generalised parallel operator
cspProver_alphabetised_parallelOp :: Term -> Term -> Term -> Term -> Term
Alphabetised parallel operator symbols
cspProver_hidingOp :: Term -> Term -> Term
Hiding operator
cspProver_renamingOp :: Term -> Term -> Term
Renaming operator
cspProver_conditionalOp :: Term -> Term -> Term -> Term
Conditional operator
cspProver_chan_nondeterministic_sendOp :: Term -> Term -> Term -> Term -> Term
Channel non-deterministic send operator
cspProver_chan_sendOp :: Term -> Term -> Term -> Term
Channel send operator