Index of modules


A
Affine_combinations
Agent [Matching]
Agent
A node of a site graph
Agents_domain
Abstract domain that abstracts away the interface of agents, and see each rule as a multiset-rewriting reaction over typed agents
Alg_expr
Smart constructor
Alg_expr_extra
Primitives for handling rule rates when detecting symmetries
Analyzer
Analyzer entry point
Analyzer_domain_sig
signature of abstract domains (with explicit communication)
Analyzer_headers
type declarations and values shared among the abstract domains
Ast
Kappa AST just after parsing

B
Buffers

C
CharMap [Mods]
CharSet [Mods]
CharSetMap [Mods]
Circular_buffers
Communication
Composite_domain
composite abstract domain (no longer with communications which have been internalized)
Compression_main
Main entry to the story machinery
Configuration
Contact_map
(internal_states, (agent_type, agent_site) link_states
Counter
Simulation progress keeper

D
Data
Must have length >= 1 (at least T or E)
DepSet [Operator]
Domain [Site_across_bonds_domain]
Domain [Parallel_bonds]
Domain [Dynamic_contact_map_domain]
Domain [Static_contact_map_domain]
Domain [Agents_domain]
Domain [Views_domain]
Domain [Rules_domain]
DynArray [Mods]
DynArray [DynamicArray]
DynamicArray
Array with dynamic size
Dynamic_contact_map_domain
This domain tracks which rules can be applied, and warns other domains at the first application of a rule

E
Edges
Concrete graph implementation
Efficiency [Counter]
Env [Pattern]
Eval
Main compilation functions
Export [Export_to_KaDE]
Export [Export_to_json]
Export [Export_to_KaSa]
Export [Export_to_KaSim]
Export_to_KaDE
* export.mli * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: Aug 23 2016 * Last modification: Time-stamp: <Mar 02 2017> * * * * Copyright 2010,2011 Institut National de Recherche en Informatique et * en Automatique.
Export_to_KaSa
* export.mli * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: June 30 2016 * Last modification: Time-stamp: <Jul 05 2017> * * * * Copyright 2010,2011 Institut National de Recherche en Informatique et * en Automatique.
Export_to_KaSim
* export.mli * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: June 30 2016 * Last modification: Time-stamp: <Nov 21 2016> * * * * Copyright 2010,2011 Institut National de Recherche en Informatique et * en Automatique.
Export_to_json
* export.mli * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: Aug 23 2016 * Last modification: Time-stamp: <Mar 15 2017> * * * * Copyright 2010,2011 Institut National de Recherche en Informatique et * en Automatique.
Expr_interpreter
Algebraic expression computation
Extend [Int_storage]
Cartesian product

F
FormatMap [Loggers]
Fractions

G
GenArray
Signature of array only limited by max_int
Graph_json
* graph_js.ml * * a module for KaSim * Jérôme Feret, projet Antique, INRIA Paris * * KaSim * Jean Krivine, Université Paris-Diderot, CNRS * * Creation: 23/05/2016 * Last modification: 25/05/2016 * * * * * Copyright 2016 Institut National de Recherche en Informatique et * en Automatique.
Graph_loggers
* graph_loggers.mli * * a module for KaSim * Jérôme Feret, projet Antique, INRIA Paris * * KaSim * Jean Krivine, Université Paris-Diderot, CNRS * * Creation: 23/05/2016 * Last modification: 25/05/2016 * * * * * Copyright 2016 Institut National de Recherche en Informatique et * en Automatique.

I
Infinite_buffers
Infix [List_util]
Instantiation
What users wrote when writing its rules
Int2Map [Mods]
Int2Set [Mods]
Int2SetMap [Mods]
IntCollection
Imperative int set
IntMap [Mods]
IntMvbdu [Mvbdu_wrapper]
IntSet [Mods]
IntSetMap [Mods]
Int_Int_storage_Imperatif_Imperatif [Int_storage]
2-dim matrices with sparse fold/iter
Int_storage
* int_storage.mli * * Creation: <2016-03-14 feret> * Last modification: Time-stamp: <Nov 23 2016> * * openkappa * Jérôme Feret, projet Abstraction, INRIA Paris-Rocquencourt * * * This library provides primitives to deal with storage functions * * Copyright 2010,2011,2012,2013,2014,2015 Institut National * de Recherche en Informatique et en Automatique.
Int_storage_imperatif [Int_storage]
simple array implementation
Internalize [Mvbdu_wrapper]

K
Kappa_files
Utilities on files
Kappa_printer
Printers (user readable) of Kappa compiled units

L
LKappa
Intermediate representation of model on wich sanity has been checked
LKappa_group_action
* LKappa_group_action.ml * openkappa * Jérôme Feret & Ly Kim Quyen, projet Antique, INRIA Paris-Rocquencourt * * Creation: 2016, the 5th of December * Last modification: Time-stamp: <Jun 12 2017> * * Abstract domain to record relations between pair of sites in connected agents.
LargeArray
Implementation of array only limited by max_int
LevelMap [Priority]
List_util
Set union of 2 sorted list When l1 is included in l2: merge_uniq l1 l2 == merge_uniq l2 l1 == l2
Locality
Output a JSON value of type Locality.t.
Loggers
* loggers.mli * * a module for KaSim * Jérôme Feret, projet Antique, INRIA Paris * * KaSim * Jean Krivine, Université Paris-Diderot, CNRS * * Creation: 26/01/2016 * Last modification: 25/05/2016 * * * * * Copyright 2016 Institut National de Recherche en Informatique et * en Automatique.

M
Make [Mvbdu_wrapper]
Make [Composite_domain]
Make [Analyzer]
Make [Odes]
Make [SetMap]
Map [SetMap.S]
Matching
Injection from a pattern in the mixture
Model
Compiled representation of a full Kappa model
Mods
Datastructures' functors instantiation
Mvbdu [Mvbdu_wrapper]
Mvbdu_wrapper
* mvbdu_wrapper.mli * openkappa * Jérôme Feret, projet Abstraction, INRIA Paris-Rocquencourt * * Creation: 08/03/2010 * Last modification: Time-stamp: <Jul 11 2017> * * * This library provides test benchmarks for the library of sets of finite maps from integers to integers * * Copyright 2010 Institut National de Recherche en Informatique et * en Automatique.

N
NamedDecls
Stores a bunch of stuff the user gave a name to
Navigation
Pathes to explore a mixture
Nbr
Kappa numbers (either float, int or int64) and operations on them
Nearly_Inf_Int_Int_Int_storage_Imperatif_Imperatif_Imperatif [Int_storage]
3-dim expandable matrices
Nearly_Inf_Int_Int_storage_Imperatif_Imperatif [Int_storage]
2-dim expandable matrices
Nearly_inf_Imperatif [Int_storage]
expandable 1-dim array
Nearly_infinite_arrays [Int_storage]
expandable arrays (the size is still limited by max_int

O
ObsMap [Pattern]
Ode_interface
Network/ODE generation * Creation: 22/07/2016 * Last modification: Time-stamp: <Feb 08 2017>
Ode_interface_sig
Network/ODE generation * Creation: 22/07/2016 * Last modification: Time-stamp: <Jul 20 2017>
Ode_loggers
* graph_loggers.ml * * a module for KaSim * Jérôme Feret, projet Antique, INRIA Paris * * KaSim * Jean Krivine, Université Paris-Diderot, CNRS * * Creation: 22/07/2016 * Last modification: Time-stamp: <Jul 25 2016>* * * * * Copyright 2016 Institut National de Recherche en Informatique et * en Automatique.
Odes
Network/ODE generation * Creation: 15/07/2016 * Last modification: Time-stamp: <Jul 20 2017>
Operator
Compiled algebraic expression
Optimized_IntMvbdu [Mvbdu_wrapper]
Optimized_Mvbdu [Mvbdu_wrapper]
Option_util
Utilities on option
Outputs
Deal with simulation output

P
Parallel_bonds
Abstract domain to over-approximate the set of reachable views
PathMap [Communication]
Pattern
Domain to navigate in the graph
Pattern_group_action
* pattern_group_action.ml * openkappa * Jérôme Feret & Ly Kim Quyen, projet Antique, INRIA Paris-Rocquencourt * * Creation: 2016, the 5th of December * Last modification: Time-stamp: <May 13 2017> * * Abstract domain to record relations between pair of sites in connected agents.
Patterns_extra
Pp
Pp_html
graph_page title deps header core f
Pp_svg
PreEnv [Pattern]
Primitives
Compiled kappa model unit
Priority
parameters to tune which event is discarded next
Product
Product
Functor to combine several abstract domains (with explicit communiaction among them)
Progress_report
Utilities to show progress on stdout
Proj [SetMap]
Proj2 [SetMap]

Q
Quick_Nearly_inf_Imperatif [Int_storage]
expandable 1-dim array with sparse fold/iter
Quick_key_list [Int_storage]
also record the list of key, for more efficient fold/iter

R
Raw_mixture
Replay
Utilities to make mixtures from traces
RuleModeIdSet [Rule_modes]
RuleModeMap [Rule_modes]
Rule_interpreter
Rule_modes
Rules_domain
This domain tracks which rules can be applied, and warns other domains at the first application of a rule

S
S [Utilities]
Set [Pattern]
Set [SetMap.S]
SetMap [Agent]
SetMap
Our own implementattion of Set and Map
Signature
Store definitions of agents
Simulation_info [Trace]
Site_across_bonds_domain
Abstract domain to over-approximate the set of reachable views
Snip
Kappa pattern compiler
State_interpreter
Event loop module
Static_contact_map_domain
* contact_map_domain.ml * openkappa * Jérôme Feret & Ly Kim Quyen, project Antique, INRIA Paris * * Creation: 2016, the 22th of February * Last modification: Time-stamp: <Apr 02 2017> * * Abstract domain to record live rules * * Copyright 2010,2011,2012,2013,2014,2015,2016 Institut National de Recherche * en Informatique et en Automatique.
String2Map [Mods]
String2SetMap [Mods]
StringMap [Mods]
StringSet [Mods]
StringSetMap [Mods]
Symmetries
* symmetries.ml * openkappa * Jérôme Feret & Ly Kim Quyen, projet Antique, INRIA Paris-Rocquencourt * * Creation: 2016, the 5th of December * Last modification: Time-stamp: <Jul 18 2017> * * Abstract domain to record relations between pair of sites in connected agents.
Symmetries_sig
Abstract domain to record relations between pair of sites in connected agents.

T
Tools
Misc utilities
Trace
Trace of simulation
Transformation [Primitives]
Elementary rule transformations

U
Usual_domains
Utilities
High-level elementary primitives to generate stories

V
ValMap
Views_domain
Abstract domain to over-approximate the set of reachable views