Module Matching.Agent

An agent in a connected component

type t =
  1. | Existing of Kappa_site_graphs.Agent.t * int
  2. | Fresh of int * int
val rename : debug_mode:bool -> int -> Kappa_data_structures.Renaming.t -> t -> t
val concretize : debug_mode:bool -> (matching * int Kappa_data_structures.Mods.IntMap.t) -> t -> int * int
val get_type : t -> int
val get_id : t -> int
val is_fresh : t -> bool
val print : ?sigs:Kappa_site_graphs.Signature.s -> Stdlib.Format.formatter -> t -> unit
val print_site : ?sigs:Kappa_site_graphs.Signature.s -> t -> Stdlib.Format.formatter -> int -> unit
val print_internal : ?sigs:Kappa_site_graphs.Signature.s -> t -> int -> Stdlib.Format.formatter -> int -> unit
val to_yojson : t -> Yojson.Basic.t
val of_yojson : Yojson.Basic.t -> t