Module `Kappa_site_graphs.Signature`Source

Store definitions of agents

Sourcetype counter_info = {

counter_info_min : int option;
counter_info_max : int option;
counter_default_value : int;

}

Sourcetype 'links site_sig = {

internal_state : unit Kappa_data_structures.NamedDecls.t;
links : 'links option;
counter_info : counter_info option;
(*
If relevant: counter CEQ value * counter delta
*)

}

Sourcetype t = bool array array site_sig Kappa_data_structures.NamedDecls.t

Store of one agent signature

Source

val num_of_site : 
  ?agent_name:string ->
  string Kappa_data_structures.Loc.annoted ->
  t ->
  int

Sourceval site_of_num : int -> t -> string

Sourceval fold : (int -> string -> 'a -> 'a) -> 'a -> t -> 'a

Source

val num_of_internal_state : 
  int ->
  string Kappa_data_structures.Loc.annoted ->
  t ->
  int

num_of_internal_state site_id state_name signature

Sourceval internal_state_of_site_id : int -> int -> t -> string

internal_state_of_site_id site_id value_id signature

Sourceval counter_of_site_id : int -> t -> counter_info option

Sourceval has_counter : t -> bool

Sourcetype s

Store of all the agents, s as a plural

Source

val create : 
  counters_per_agent:
    (string Kappa_data_structures.Loc.annoted
     * string Kappa_data_structures.Loc.annoted list)
      list ->
  t Kappa_data_structures.NamedDecls.t ->
  s

Sourceval size : s -> int

Sourceval get : s -> int -> t

get sigs agent_id

Sourceval arity : s -> int -> int

arity sigs agent_id

Sourceval max_arity : s -> int

max_arity sigs returns max aritiessigsi

Sourceval num_of_agent : string Kappa_data_structures.Loc.annoted -> s -> int

Sourceval agent_of_num : int -> s -> string

Source

val id_of_site : 
  string Kappa_data_structures.Loc.annoted ->
  string Kappa_data_structures.Loc.annoted ->
  s ->
  int

id_of_site agent_type site_name sigs

Source

val id_of_internal_state : 
  string Kappa_data_structures.Loc.annoted ->
  string Kappa_data_structures.Loc.annoted ->
  string Kappa_data_structures.Loc.annoted ->
  s ->
  int

id_of_internal_state agent_type site_name state_name sigs

Sourceval internal_states_number : int -> int -> s -> int

internal_state_number agent_id site_id sigs

Sourceval default_internal_state : int -> int -> s -> int option

Sourceval allowed_link : int -> int -> int -> int -> s -> bool

allowed_link ag1 s1 ag2 s2 sigs evaluates to true if and only if it is allowed to create a link between site s1 of agent ag1 and site s2 of agent ag2

Counter specific

If there are counters in the signature, we define a single agent as the * _counter agent_, which will be used as _dummies_ to keep track of the counter value

Sourceval is_counter_agent : s -> int -> bool

Sourceval ports_if_counter_agent : s -> int -> (int * int) option

Sourceval site_is_counter : s -> int -> int -> bool

Sourcetype counter_agent_info = {

id : int;
arity : int;
ports : int * int;

}

Sourceval get_counter_agent_info : s -> counter_agent_info

counter_agent agent_sigs

Sourceval inverted_counter_suffix : string

Suffix added to counter names to make an inverted counter name when needed for a <= test

Sourceval is_inverted_counter : string -> bool

Tests if a counter is a inverted counter, and should be hidden from the user

I/O

Sourceval print_agent : s -> Format.formatter -> int -> unit

Sourceval print_site : s -> int -> Format.formatter -> int -> unit

Sourceval print_internal_state : s -> int -> int -> Format.formatter -> int -> unit

Source

val print_site_internal_state : 
  s ->
  int ->
  int ->
  Format.formatter ->
  int option ->
  unit

print_site_internal_state sigs agent_type site_id f state_id prints both the site and its internal state if it is not None.

Sourceval print_counter : s -> int -> Format.formatter -> int -> unit

Sourceval print : Format.formatter -> s -> unit

Sourceval to_json : s -> Yojson.Basic.t

Sourceval of_json : Yojson.Basic.t -> s

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.mixtures/Kappa_site_graphs/Signature/index.html

Module `Kappa_site_graphs.Signature`Source

Counter specific

I/O

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.mixtures/Kappa_site_graphs/Signature/index.html

Module Kappa_site_graphs.SignatureSource

Counter specific

I/O

Module `Kappa_site_graphs.Signature`Source