Kappa_terms.Configuration
type t = {
progressSize : int;
progressChar : char;
dumpIfDeadlocked : bool;
initial : float option;
maxConsecutiveClash : int;
outputFileName : string option;
plotPeriod : period option;
seed : int option;
traceFileName : string option;
deltaActivitiesFileName : string option;
}
val empty : t
val parse :
((string * Kappa_data_structures.Loc.t)
* (string * Kappa_data_structures.Loc.t) list)
list ->
t * (bool * bool * bool) * string * string option
val print : Stdlib.Format.formatter -> t -> unit