|
Control.Concurrent.CHP.Traces.VCR |
|
|
Description |
A module for recording View Centric Reasoning (VCR) traces. A view centric
reasnoning trace is a list of sets of events. Each set contains independent
events that have no causal relationship between them. Hopefully we will
publish a paper explaining all this in detail soon.
|
|
Synopsis |
|
|
|
Documentation |
|
|
A VCR (View-Centric Reasoning) trace. It is the channel labels,
accompanied by a sequential list of sets of recorded events. Each of
the sets is a set of independent events. The set at the head of the
list is the first-recorded (oldest).
The type became parameterised in version 1.3.0
| Constructors | | Instances | |
|
|
|
A helper function for pulling out the interesting bit from a VCR trace processed
by labelAll.
Added in version 1.5.0.
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |