sig
type side = LHS | RHS
type correct = Div of int | Mul of int | Nil
type options = Comment of string
val string_of_variable :
side:Ode_loggers.side -> Loggers.t -> Ode_loggers_sig.variable -> string
val variable_of_derived_variable :
Ode_loggers_sig.variable -> int -> Ode_loggers_sig.variable
val print_ode_preamble :
Loggers.t ->
(Loggers.t -> unit) ->
may_be_not_time_homogeneous:bool ->
count:Ode_args.count ->
rule_rate_convention:Remanent_parameters_sig.rate_convention ->
?reaction_rate_convention:Remanent_parameters_sig.rate_convention ->
?filter_in:Loggers.encoding list option ->
?filter_out:Loggers.encoding list -> unit -> unit
val declare_global : Loggers.t -> Ode_loggers_sig.variable -> unit
val print_options :
compute_jacobian:bool ->
pos:(int -> bool) -> nodevar:int -> Loggers.t -> unit
val print_license_check : Loggers.t -> unit
val print_integrate : nobs:int -> nodevar:int -> Loggers.t -> unit
val print_interpolate : Loggers.t -> unit
val print_dump_plots :
nobs:int ->
data_file:string ->
command_line:string -> titles:string list -> Loggers.t -> unit
val initialize :
nodevar:int -> Loggers.t -> Ode_loggers_sig.variable -> unit
val associate :
propagate_constants:bool ->
?init_mode:bool ->
?comment:string ->
(int -> string) ->
Loggers.t ->
Loggers.t ->
Loggers.t ->
Ode_loggers_sig.variable ->
(Ode_loggers_sig.ode_var_id, Ode_loggers_sig.ode_var_id) Alg_expr.e
Locality.annot ->
(Ode_loggers_sig.ode_var_id, Ode_loggers_sig.ode_var_id)
Network_handler.t -> unit
val increment :
?init_mode:bool ->
?comment:string ->
(int -> string) ->
Loggers.t ->
Loggers.t ->
Ode_loggers_sig.variable ->
(Ode_loggers_sig.ode_var_id, Ode_loggers_sig.ode_var_id) Alg_expr.e
Locality.annot ->
(Ode_loggers_sig.ode_var_id, Ode_loggers_sig.ode_var_id)
Network_handler.t -> unit
val associate_nrows : Loggers.t -> unit
val associate_t : Loggers.t -> int -> unit
val init_time : Loggers.t -> int -> unit
val start_time : Loggers.t -> float -> unit
val declare_init : ?comment:string -> Loggers.t -> int -> unit
val associate_nonnegative : Loggers.t -> bool -> unit
val show_time_advance : Loggers.t -> unit
val launch_main : Loggers.t -> unit
val consume :
Loggers.t ->
Ode_loggers_sig.variable ->
nauto_in_species:int ->
nauto_in_lhs:int ->
nocc:int ->
Ode_loggers_sig.variable ->
(Ode_loggers_sig.variable * Ode_loggers.correct) list -> unit
val produce :
Loggers.t ->
Ode_loggers_sig.variable ->
nauto_in_species:int ->
nauto_in_lhs:int ->
nocc:int ->
Ode_loggers_sig.variable ->
(Ode_loggers_sig.variable * Ode_loggers.correct) list -> unit
val consume_jac :
Loggers.t ->
Ode_loggers_sig.variable ->
nauto_in_species:int ->
nauto_in_lhs:int ->
nocc:int ->
Ode_loggers_sig.variable ->
(int * Ode_loggers.correct) list -> Mods.IntSet.t -> unit
val produce_jac :
Loggers.t ->
Ode_loggers_sig.variable ->
nauto_in_species:int ->
nauto_in_lhs:int ->
nocc:int ->
Ode_loggers_sig.variable ->
(int * Ode_loggers.correct) list -> Mods.IntSet.t -> unit
val update_token_jac :
Loggers.t ->
Ode_loggers_sig.variable ->
nauto_in_lhs:int ->
nocc:int ->
Ode_loggers_sig.variable ->
Ode_loggers_sig.variable ->
(Ode_loggers_sig.ode_var_id * Ode_loggers.correct) list ->
Mods.IntSet.t ->
dep_mixture:Mods.IntSet.t -> dep_token:Mods.IntSet.t -> unit
val update_token :
Loggers.t ->
Ode_loggers_sig.variable ->
nauto_in_lhs:int ->
nocc:int ->
Ode_loggers_sig.variable ->
Ode_loggers_sig.variable ->
(Ode_loggers_sig.variable * Ode_loggers.correct) list -> unit
val print_newline : Loggers.t -> unit
val print_comment :
?breakline:bool ->
Loggers.t ->
?filter_in:Loggers.encoding list option ->
?filter_out:Loggers.encoding list -> string -> unit
val open_procedure : Loggers.t -> string -> string -> string list -> unit
val return : Loggers.t -> string -> unit
val close_procedure : Loggers.t -> unit
val smash_reactions :
Loggers.encoding -> Remanent_parameters_sig.parameters -> bool
val print_alg_expr_few_parenthesis :
?init_mode:bool ->
(int -> string) ->
Loggers.t ->
Loggers.t ->
(Ode_loggers_sig.ode_var_id, Ode_loggers_sig.ode_var_id) Alg_expr.e
Locality.annot ->
(Ode_loggers_sig.ode_var_id, Ode_loggers_sig.ode_var_id)
Network_handler.t -> unit
val is_time :
(Ode_loggers_sig.ode_var_id, Ode_loggers_sig.ode_var_id) Alg_expr.e
Locality.annot -> bool
end