| definition: |
ex :: Graph BPMNComp
ex = [(BPMNStart,[1]),(BPMNPGW,[1,2,4,3]),(BPMNActivity "act1",[2,6]),
(BPMNActivity "act2",[6,10]),(BPMNPGW,[15,16,18,17]),
(BPMNActivity "act3",[3,5]),(BPMNXGW "cond1" "cond2",[5,7,9,8]),
(BPMNActivity "act4",[7,11]),(BPMNActivity "act5",[8,14]),
(BPMNInter BPMNWait "ev2",[11,13]),(BPMNXGW "" "",[12,13,17,14]),
(BPMNInter BPMNReceive "ev1",[10,16]),(BPMNEnd,[18])]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- An exampe BPMN graph. |
| failfree: |
() |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {:}}
|
| name: |
ex |
| precedence: |
no precedence defined |
| result-values: |
{:}
|
| signature: |
[(BPMNComp, [Prelude.Int])] |
| solution-complete: |
operationally complete operation |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |