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

type snapshot = {

snapshot_file : string;
snapshot_event : int;
snapshot_time : float;
snapshot_agents : (int * User_graph.connected_component) list;
snapshot_tokens : (string * Nbr.t) array;

}

type din_data = {

din_name : string;
din_kind : Primitives.din_kind;
din_start : float;
din_hits : int array;
din_fluxs : float array array;

}

type din = {

din_rules : string array;
din_data : din_data;
din_end : float;

}

type file_line = {

file_line_name : string option;
file_line_text : string;

}

type t =

| DIN of din
| DeltaActivities of int * (int * (float * float)) list
| Plot of Nbr.t array
| Print of file_line
| TraceStep of Trace.step
| Snapshot of snapshot
| Log of string
| Species of string * float * User_graph.connected_component

val print_snapshot : ?uuid:int -> Format.formatter -> snapshot -> unit

val print_dot_snapshot : ?uuid:int -> Format.formatter -> snapshot -> unit

val write_snapshot : Bi_outbuf.t -> snapshot -> unit

val string_of_snapshot : ?len:int -> snapshot -> string

val read_snapshot : Yojson.Safe.lexer_state -> Lexing.lexbuf -> snapshot

val snapshot_of_string : string -> snapshot

val print_dot_din : ?uuid:int -> Format.formatter -> din -> unit

val print_html_din : Format.formatter -> din -> unit

val write_din : Bi_outbuf.t -> din -> unit

val string_of_din : ?len:int -> din -> string

val read_din : Yojson.Safe.lexer_state -> Lexing.lexbuf -> din

val din_of_string : string -> din

type plot = {

plot_legend : string array;
plot_series : float option array list;

}

val add_plot_line : Nbr.t array -> plot -> plot

val init_plot : Model.t -> plot

val write_plot : Bi_outbuf.t -> plot -> unit

val string_of_plot : ?len:int -> plot -> string

val read_plot : Yojson.Safe.lexer_state -> Lexing.lexbuf -> plot

val plot_of_string : string -> plot

val print_plot_legend : is_tsv:bool -> Format.formatter -> string array -> unit

val print_plot_line : 
  is_tsv:bool ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a array ->
  unit

val export_plot : is_tsv:bool -> plot -> string