|
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).
| Constructors | | Instances | |
|
|
|
|
|
|
Produced by Haddock version 2.3.0 |