Module Kappa_terms.ConfigurationSource

Sourcetype period =
  1. | DE of int
  2. | DT of float
Sourcetype t = {
  1. progressSize : int;
  2. progressChar : char;
  3. dumpIfDeadlocked : bool;
  4. initial : float option;
  5. maxConsecutiveClash : int;
  6. outputFileName : string option;
  7. plotPeriod : period option;
  8. seed : int option;
  9. traceFileName : string option;
  10. deltaActivitiesFileName : string option;
}
Sourceval empty : t
Sourceval parse : ((string * Kappa_data_structures.Loc.t) * (string * Kappa_data_structures.Loc.t) list) list -> t * (bool * bool * bool) * string * string option
Sourceval print : Format.formatter -> t -> unit