Module Pattern.Env

type transition = private {
next : Kappa_mixtures.Navigation.abstract Kappa_mixtures.Navigation.t;
dst : id;

id of cc and also address in the Env.domain map

inj : Kappa_generic_toolset.Renaming.t;

From dst To ("this" cc + extra edge)

}
type point
val content : point -> cc
val roots : point -> (int list * int) option

(ids,ty)

val deps : point -> Kappa_generic_toolset.Operator.DepSet.t
val sons : point -> transition list
type t
val get : t -> id -> point
val get_single_agent : int -> t -> (id * Kappa_generic_toolset.Operator.DepSet.t) option
val get_elementary : debugMode:bool -> t -> Kappa_mixtures.Agent.t -> int -> Kappa_mixtures.Navigation.abstract Kappa_mixtures.Navigation.arrow -> (id * point * Kappa_generic_toolset.Renaming.t) option
val signatures : t -> Kappa_mixtures.Signature.s
val new_obs_map : t -> (id -> 'a) -> 'a ObsMap.t
val to_navigation : t -> id -> Kappa_mixtures.Navigation.abstract Kappa_mixtures.Navigation.t
val print : noCounters:bool -> Format.formatter -> t -> unit
val to_yojson : t -> Yojson.Basic.t
val of_yojson : Yojson.Basic.t -> t