package KaSim

You can search for identifiers within the package.

in-package search v0.2.0

KappaLib
- Agent
  - SetMap
    
    Map
    
    Set
- Alg_expr
- Ast
- Contact_map
- Counter
  - Efficiency
- Counters_compiler
- Data
- DynamicArray
  - DynArray
    
    G
- Edges
- ExceptionDefn
- Expr_interpreter
- Generic_rule_interpreter
  - Make
    
    Instances
- Instances
- Instantiation
- IntCollection
- JsonUtil
- Kappa_printer
- LKappa
- LKappa_compiler
- LargeArray
- List_util
  - Infix
- Locality
- Matching
  - Agent
- Model
- Mods
  - CharSetMap
    
    Map
    
    Set
  - DynArray
  - Int2SetMap
    
    Map
    
    Set
  - IntSetMap
    
    Map
    
    Set
  - String2SetMap
    
    Map
    
    Set
  - StringSetMap
    
    Map
    
    Set
- NamedDecls
- Navigation
- Nbr
- Operator
  - DepSet
- Option_util
- Parameter
- Pattern
  - Env
  - ObsMap
  - PreEnv
  - Set
- Pp
- Pp_html
- Primitives
  - Transformation
- Progress_report
- Random_tree
- Raw_mixture
- Renaming
- Replay
- Resource_strings
- Roots
- Rule_interpreter
- SetMap
  - Make
    
    Map
    
    Ord
    
    Set
  - Map
  - OrderedType
  - Proj
    
    A
    
    Map
    
    Set
    
    B
    
    Map
    
    Set
  - Proj2
    
    A
    
    Map
    
    Set
    
    B
    
    Map
    
    Set
    
    C
    
    Map
    
    Set
  - Projection
  - Projection2
  - S
    
    Map
    
    Set
  - Set
- Signature
- Snapshot
- Snip
- Stop
- Tools
- Trace
  - Simulation_info
- User_graph
- ValMap
- Version

Legend:
Library
Module
Module type
Parameter
Class
Class type

val compile : Ast.parsing_compil -> Ast.parsing_compil * bool

val make_counter : int -> string -> Ast.counter

val remove_counter_rule : 
  Signature.s ->
  LKappa.rule_agent LKappa.rule_agent_counters list ->
  Raw_mixture.agent LKappa.rule_agent_counters list ->
  LKappa.rule_agent list * Raw_mixture.agent list

val counters_perturbations : 
  Signature.s ->
  Ast.mixture ->
  (LKappa.rule_mixture, Raw_mixture.agent list, int, LKappa.rule)
    Ast.perturbation
    list

val annotate_dropped_counters : 
  Signature.t ->
  Ast.counter list ->
  LKappa.rule_agent ->
  int ->
  string ->
  (int -> unit) option ->
  LKappa.rule_agent LKappa.rule_agent_counters

val annotate_edit_counters : 
  Signature.s ->
  (string * Locality.t) ->
  Ast.counter list ->
  LKappa.rule_agent ->
  (int -> int -> int -> int -> unit) ->
  LKappa.rule_agent LKappa.rule_agent_counters

val annotate_created_counters : 
  Signature.s ->
  (string * Locality.t) ->
  Ast.counter list ->
  (int -> int -> int -> int -> unit) ->
  Raw_mixture.agent ->
  Raw_mixture.agent LKappa.rule_agent_counters

val annotate_counters_with_diff : 
  Signature.s ->
  string Locality.annot ->
  Ast.counter list ->
  Ast.counter list ->
  LKappa.rule_agent ->
  (int -> int -> int -> int -> unit) ->
  LKappa.rule_agent LKappa.rule_agent_counters

val add_counter_to_contact_map : 
  Signature.s ->
  (int -> int -> int -> int -> unit) ->
  unit