module Priority: sig
.. end
parameters to tune which event is discarded next
type
selection_strategy =
| |
All_remaining_events |
| |
Wire_with_the_least_number_of_events |
| |
Wire_with_the_most_number_of_events |
type
try_to_remove_first =
| |
Late_events |
| |
Early_events |
type
level
val string_of_level : level -> string
val min_level : level -> level -> level
val highest : level
val high : level
val above_average : level
val average : level
val bellow_average : level
val low : level
val lowest : level
val lower : level -> level option
val higher : level -> level option
module LevelMap: SetMap.Map
with type elt = level
type
priorities = {
}
each event is associated with a level corresponding of its actions (if multiple action, then, the least corresponding level is selected
Events with the least level of priority are removed first
Among them, the choice is driven by the fields 'candidate_set_of_events' and 'try_to_remove_first'
val causal : priorities
val weak : priorities
val strong : priorities
val n_story : int Pervasives.ref
val n_branch : int Pervasives.ref