Module Kappa_termsSource

Sourcemodule Alg_expr : sig ... end
Sourcemodule Alg_expr_extra : sig ... end

Primitives for handling rule rates when detecting symmetries

Sourcemodule Configuration : sig ... end
Sourcemodule Contact_map : sig ... end
Sourcemodule Instantiation : sig ... end

What users wrote when writing its rules

Sourcemodule Kappa_printer : sig ... end

Printers (user readable) of Kappa compiled units

Sourcemodule LKappa : sig ... end

Intermediate representation of model on which sanity has been checked

Sourcemodule Matching : sig ... end

Injection from a pattern in the mixture

Sourcemodule Model : sig ... end

Compiled representation of a full Kappa model

Sourcemodule Pattern : sig ... end

Domain to navigate in the graph

Sourcemodule Pattern_compiler : sig ... end

Kappa pattern compiler

Sourcemodule Pattern_decompiler : sig ... end
Sourcemodule Primitives : sig ... end

Compiled kappa model unit

Sourcemodule Raw_mixture : sig ... end