kappa-library
Public internals of the Kappa tool suite
1024">
IN THIS PACKAGE
-
library kappa-library.generic
-
module Kappa_generic_toolset
-
module Base64
-
module Bigbuffer
-
module Circular_buffers
-
module Color
-
module Crc32
-
module DynamicArray
-
module ExceptionDefn
-
module Fifo
-
module Fractions
-
module Hashed_list
-
module type Hash
-
-
module Infinite_buffers
-
module IntCollection
-
module JsonUtil
-
module LargeArray
-
module Locality
-
module Mods
-
module CharSetMap
-
module DynArray
-
module Int2SetMap
-
module String2SetMap
-
module StringSetMap
-
-
module NamedDecls
-
module Nbr
-
module Option_util
-
module Pp
-
module Pp_html
-
module Random_tree
-
module Renaming
-
module Result_util
-
module SetMap
-
module type Map
-
module type OrderedType
-
module type Projection
-
module type Projection2
-
module type Set
-
module Stop
-
module Tools
-
module ValMap
-
-
-
library kappa-library.mixtures
-
module Kappa_mixtures
-
module Edges
-
module Navigation
-
module Signature
-
module Snapshot
-
module User_graph
-
-
library kappa-library.runtime
-
module Kappa_runtime
-
module Counter
-
module Efficiency
-
-
module Data
-
module Expr_interpreter
-
module Fluxmap
-
module Generic_rule_interpreter
-
module Make
-
argument 1-Instances
-
-
-
module Instances
-
module Instances_sig
-
module type S
-
-
module Replay
-
module Resource_strings
-
module Roots
-
module Rule_interpreter
-
module State_interpreter
-
module Trace
-
module Simulation_info
-
-
-
-
library kappa-library.terms
-
module Kappa_terms
-
module Alg_expr
-
module Alg_expr_extra
-
module Configuration
-
module Contact_map
-
module Instantiation
-
module Kappa_printer
-
module LKappa
-
module Model
-
module Pattern_compiler
-
module Pattern_decompiler
-
module Primitives
-
module Transformation
-
-
module Raw_mixture
-
-
Libraries
This package provides the following libraries (via dune):
kappa-library.generic
Documentation:
Kappa_generic_toolset.Base64
Base64 RFC4648 implementation.Kappa_generic_toolset.Bigbuffer
Extensible buffers.Kappa_generic_toolset.Buffers
Kappa_generic_toolset.Cache
* cache.ml * * a module for KaSim * Jérôme Feret, projet Abstraction, INRIA Paris-Rocquencourt * Jean Krivine, Université Paris-Diderot, CNRS * * KaSim * Jean Krivine, Université Paris-Diderot, CNRS * * Creation: 27/03/2012 * Last modification: 27/03/2012 * * * * It uses imperative styles to ensure compatibility with other modules * * Copyright 2011,2012 Institut National de Recherche en Informatique et * en Automatique. All rights reserved. This file is distributed * under the terms of the GNU Library General Public LicenseKappa_generic_toolset.Circular_buffers
Kappa_generic_toolset.Color
Kappa_generic_toolset.Crc32
Kappa_generic_toolset.DynamicArray
Array with dynamic sizeKappa_generic_toolset.ExceptionDefn
Kappa_generic_toolset.Fifo
FIFOKappa_generic_toolset.Fractions
Kappa_generic_toolset.GenArray
Signature of array only limited by max_intKappa_generic_toolset.Hashed_list
Kappa_generic_toolset.Infinite_buffers
Kappa_generic_toolset.IntCollection
Imperative int setKappa_generic_toolset.JsonUtil
Parsing utilsKappa_generic_toolset.LargeArray
Implementation of array only limited by max_intKappa_generic_toolset.List_util
Kappa_generic_toolset.Locality
Kappa_generic_toolset.Mods
Datastructures' functors instantiationKappa_generic_toolset.NamedDecls
Stores a bunch of stuff the user gave a name toKappa_generic_toolset.Nbr
Kappa numbers (either float, int or int64) and operations on themKappa_generic_toolset.Operator
Compiled algebraic expressionKappa_generic_toolset.Option_util
Utilities on optionKappa_generic_toolset.Pp
Kappa_generic_toolset.Pp_html
Kappa_generic_toolset.Random_tree
Kappa_generic_toolset.Renaming
Functions from a subset of nat to a subset of natKappa_generic_toolset.Result_util
Kappa_generic_toolset.SetMap
Our own implementattion of Set and MapKappa_generic_toolset.Stop
Kappa_generic_toolset.Tools
Misc utilitiesKappa_generic_toolset.ValMap
Dependencies: yojson, result, logs, stdlib-shims, bigarray
kappa-library.mixtures
Documentation:
Kappa_mixtures.Agent
A node of a site graphKappa_mixtures.Edges
Concrete graph implementationKappa_mixtures.Navigation
Pathes to explore a mixtureKappa_mixtures.Signature
Store definitions of agentsKappa_mixtures.Snapshot
Kappa_mixtures.User_graph
Dependencies: kappa-library.generic
kappa-library.runtime
Documentation:
Kappa_runtime.Counter
Simulation progress keeperKappa_runtime.Data
Kappa_runtime.Expr_interpreter
Algebraic expression computationKappa_runtime.Fluxmap
Kappa_runtime.Generic_rule_interpreter
Graph rewriting moduleKappa_runtime.Instances
Kappa_runtime.Instances_sig
Collection of rectangular instances.Kappa_runtime.Replay
Utilities to make mixtures from tracesKappa_runtime.Resource_strings
Kappa_runtime.Roots
Kappa_runtime.Rule_interpreter
Kappa_runtime.State_interpreter
Event loop moduleKappa_runtime.Trace
Trace of simulation
Dependencies: kappa-library.terms
kappa-library.terms
Documentation:
Kappa_terms.Alg_expr
Kappa_terms.Alg_expr_extra
Primitives for handling rule rates when detecting symmetriesKappa_terms.Configuration
Kappa_terms.Contact_map
Kappa_terms.Instantiation
What users wrote when writing its rulesKappa_terms.Kappa_printer
Printers (user readable) of Kappa compiled unitsKappa_terms.LKappa
Intermediate representation of model on wich sanity has been checkedKappa_terms.Matching
Injection from a pattern in the mixtureKappa_terms.Model
Compiled representation of a full Kappa modelKappa_terms.Pattern
Domain to navigate in the graphKappa_terms.Pattern_compiler
Kappa pattern compilerKappa_terms.Pattern_decompiler
Kappa_terms.Primitives
Compiled kappa model unitKappa_terms.Raw_mixture
Dependencies: kappa-library.mixtures