KaSim 4.0.0 (latest) · OCaml Package

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 allowed_link : int -> int -> int -> int -> s -> bool

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

package KaSim