Module Kappa_site_graphs.Agent

A node of a site graph

type t = int * int

agent_id * agent_type

val make : id:int -> sort:int -> t
val compare : t -> t -> int
val sort : t -> int
val id : t -> int
val print : ?sigs:Signature.s -> with_id:bool -> Stdlib.Format.formatter -> t -> unit
val print_site : ?sigs:Signature.s -> t -> Stdlib.Format.formatter -> int -> unit
val print_internal : ?sigs:Signature.s -> t -> int -> Stdlib.Format.formatter -> int -> unit
val print_raw_internal : ?sigs:Signature.s -> t -> int -> Stdlib.Format.formatter -> int -> unit
val rename : debug_mode:bool -> Kappa_data_structures.Renaming.t -> t -> t
val json_dictionnary : string
val write_json : Stdlib.Buffer.t -> t -> unit
val read_json : Yojson.Basic.lexer_state -> Stdlib.Lexing.lexbuf -> t
val to_json : t -> Yojson.Basic.t
val of_json : Yojson.Basic.t -> t