package kappa-library

You can search for identifiers within the package.

in-package search v0.2.0

Public internals of the Kappa tool suite. Use this package to use kappa as a lib

Install

Dune Dependency

kappalanguage.org Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

v4.1.3.tar.gz

md5=1c9a8a0d79f085757817f90834e166f5

sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3

doc/kappa-library.runtime/Kappa_runtime/State_interpreter/index.html

Module `Kappa_runtime.State_interpreter`Source

Event loop module

Sourcetype t

Abstract state

Sourceval empty : with_delta_activities:bool -> Counter.t -> Kappa_terms.Model.t -> t

empty ~with_delta_activities env

Source

val initialize : 
  bind:('a -> ((bool * Rule_interpreter.t * t) -> 'a) -> 'a) ->
  return:((bool * Rule_interpreter.t * t) -> 'a) ->
  debug_mode:bool ->
  outputs:(Data.t -> unit) ->
  Kappa_terms.Model.t ->
  Counter.t ->
  Rule_interpreter.t ->
  t ->
  (Kappa_terms.Primitives.alg_expr * Kappa_terms.Primitives.elementary_rule)
    list ->
  'a

initial env counter graph state builds up the initial state

Source

val observables_values : 
  Kappa_terms.Model.t ->
  Rule_interpreter.t ->
  Counter.t ->
  Kappa_data_structures.Nbr.t array

Returns (the current biological time, an array of the current values of observables)

Source

val do_modifications : 
  debug_mode:bool ->
  outputs:(Data.t -> unit) ->
  Kappa_terms.Model.t ->
  Counter.t ->
  Rule_interpreter.t ->
  t ->
  Kappa_terms.Primitives.modification list ->
  bool * Rule_interpreter.t * t * bool

Source

val a_loop : 
  debug_mode:bool ->
  outputs:(Data.t -> unit) ->
  dumpIfDeadlocked:bool ->
  maxConsecutiveClash:int ->
  Kappa_terms.Model.t ->
  Counter.t ->
  Rule_interpreter.t ->
  t ->
  bool * Rule_interpreter.t * t

One event loop

Source

val end_of_simulation : 
  outputs:(Data.t -> unit) ->
  Kappa_terms.Model.t ->
  Counter.t ->
  Rule_interpreter.t ->
  t ->
  unit

What to do after stopping simulation.

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.runtime/Kappa_runtime/State_interpreter/index.html

Module Kappa_runtime.State_interpreterSource

Module `Kappa_runtime.State_interpreter`Source