Module Kappa_site_graphs.AgentSource

A node of a site graph

Sourcetype t = int * int

agent_id * agent_type

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