package KaSim

  1. Overview
  2. Docs
type t
val num_of_site : ?agent_name:string -> string Locality.annot -> t -> int
val site_of_num : int -> t -> string
val fold : (int -> string -> 'a -> 'a) -> 'a -> t -> 'a
val num_of_internal_state : int -> string Locality.annot -> t -> int
val internal_state_of_num : int -> int -> t -> string
val counter_of_site : int -> t -> (int * int) option
val has_counter : t -> bool
type s
val create : counters:(string Locality.annot * string Locality.annot list) list -> bool -> (string Locality.annot * (unit NamedDecls.t * (string Locality.annot * string Locality.annot) list * (int * int) option) NamedDecls.t) list -> s
val size : s -> int
val get : s -> int -> t
val arity : s -> int -> int
val max_arity : s -> int
val num_of_agent : string Locality.annot -> s -> int
val agent_of_num : int -> s -> string
val id_of_site : string Locality.annot -> string Locality.annot -> s -> int
val id_of_internal_state : string Locality.annot -> string Locality.annot -> string Locality.annot -> s -> int
val internal_states_number : int -> int -> s -> int
val default_internal_state : int -> int -> s -> int option
val print_agent : s -> Format.formatter -> int -> unit
val print_site : s -> int -> Format.formatter -> int -> unit
val print_internal_state : s -> int -> int -> Format.formatter -> int -> unit
val print_site_internal_state : s -> int -> int -> Format.formatter -> int option -> unit
val print_counter : s -> int -> Format.formatter -> int -> unit
val print : Format.formatter -> s -> unit
val to_json : s -> Yojson.Basic.json
val of_json : Yojson.Basic.json -> s
val is_counter_agent : s option -> int -> bool
val ports_if_counter_agent : s -> int -> (int * int) option
val site_is_counter : s -> int -> int -> bool
val incr_agent : s -> int * int * int * int
OCaml

Innovation. Community. Security.