module Configuration:sig
..end
type
t = {
|
dumpIfDeadlocked : |
|
initial : |
|
maxConsecutiveClash : |
|
outputFileName : |
|
plotPeriod : |
|
seed : |
|
traceFileName : |
|
deltaActivitiesFileName : |
val parse : ((string * Locality.t) * (string * Locality.t) list) list ->
t * Counter.progressBar * (bool * bool * bool) * string *
string option
val print : Format.formatter -> t -> unit