diff --git a/docs/KaSim-API-/Kappa_site_graphs/Signature/index.html b/docs/KaSim-API-/Kappa_site_graphs/Signature/index.html index 1f0d8cf15..c5f2b775f 100644 --- a/docs/KaSim-API-/Kappa_site_graphs/Signature/index.html +++ b/docs/KaSim-API-/Kappa_site_graphs/Signature/index.html @@ -1,5 +1,5 @@ -Signature (kappa-library.Kappa_site_graphs.Signature)

Module Kappa_site_graphs.Signature

Store definitions of agents

type 'links site_sig = {
  1. internal_state : unit Kappa_data_structures.NamedDecls.t;
  2. counters_info : (int * int) option;
    (*

    If relevant: counter CEQ value * counter delta

    *)
}

Store of one agent signature

val num_of_site : +Signature (kappa-library.Kappa_site_graphs.Signature)

Module Kappa_site_graphs.Signature

Store definitions of agents

type counter_info = {
  1. counter_info_min : int option;
  2. counter_info_max : int option;
  3. counter_default_value : int;
}
type 'links site_sig = {
  1. internal_state : unit Kappa_data_structures.NamedDecls.t;
  2. counter_info : counter_info option;
    (*

    If relevant: counter CEQ value * counter delta

    *)
}

Store of one agent signature

val num_of_site : ?agent_name:string -> string Kappa_data_structures.Loc.annoted -> t -> @@ -7,7 +7,7 @@ int -> string Kappa_data_structures.Loc.annoted -> t -> - int

num_of_internal_state site_id state_name signature

val internal_state_of_site_id : int -> int -> t -> string

internal_state_of_site_id site_id value_id signature

val counter_of_site_id : int -> t -> (int * int) option
val has_counter : t -> bool
type s

Store of all the agents, s as a plural

val create : + int

num_of_internal_state site_id state_name signature

val internal_state_of_site_id : int -> int -> t -> string

internal_state_of_site_id site_id value_id signature

val counter_of_site_id : int -> t -> counter_info option
val has_counter : t -> bool
type s

Store of all the agents, s as a plural

val create : counters_per_agent: (string Kappa_data_structures.Loc.annoted * string Kappa_data_structures.Loc.annoted list) diff --git a/docs/KaSim-manual-/KaSim_manual.htm b/docs/KaSim-manual-/KaSim_manual.htm index add01674e..58b5e84f4 100644 --- a/docs/KaSim-manual-/KaSim_manual.htm +++ b/docs/KaSim-manual-/KaSim_manual.htm @@ -1,7 +1,7 @@ Kappa tools reference manual -(release b19d43d) +(release 4d080a1) @@ -19,7 +19,7 @@

Kappa tools reference manual
-(release b19d43d)

+(release 4d080a1)
Pierre Boutillier, Jé6.3 -Kappa Static Analyzer (b19d43d) (without Tk interface) -Analysis launched at 2024/03/27 18:05:53 (GMT+0) on -fv-az1487-606 +Kappa Static Analyzer (4d080a1) (without Tk interface) +Analysis launched at 2024/03/28 17:02:29 (GMT+0) on +fv-az1532-254 Parsing ../kappa/reachability.ka... done Compiling... @@ -8362,9 +8362,9 @@

6.3 -Kappa Static Analyzer (b19d43d) (without Tk interface) -Analysis launched at 2024/03/27 18:05:53 (GMT+0) on -fv-az1487-606 +Kappa Static Analyzer (4d080a1) (without Tk interface) +Analysis launched at 2024/03/28 17:02:29 (GMT+0) on +fv-az1532-254 Parsing ../kappa/reachability.ka... done Compiling... @@ -11550,9 +11550,9 @@

6.6 -Kappa Static Analyzer (b19d43d) (without Tk interface) -Analysis launched at 2024/03/27 18:05:53 (GMT+0) on -fv-az1487-606 +Kappa Static Analyzer (4d080a1) (without Tk interface) +Analysis launched at 2024/03/28 17:02:29 (GMT+0) on +fv-az1532-254 Parsing ../kappa/influence.ka... done Compiling... @@ -12987,7 +12987,7 @@
-seed 822761135426638040 
 : "293338004""764641780"