Module Kappa_terms.Configuration

type period =
| DE of int
| DT of float
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_generic_toolset.Locality.t) * (string * Kappa_generic_toolset.Locality.t) list) list -> t * (bool * bool * bool) * string * string option
val print : Format.formatter -> t -> unit