Module Pattern.Env

module Env: sig .. end

type transition = private {

`next : Navigation.abstract Navigation.t;`
`dst : Pattern.id;`	`(*`	id of cc and also address in the Env.domain map	`*)`
`inj : Renaming.t;`	`(*`	From dst To ("this" cc + extra edge)	`*)`

}

type point

val content : point -> Pattern.cc

val roots : point -> (int list * int) option

(ids,ty)

val deps : point -> Operator.DepSet.t

val sons : point -> transition list

type t

val get : t -> Pattern.id -> point

val get_single_agent : int -> t -> (Pattern.id * Operator.DepSet.t) option

val get_elementary : t ->
       Agent.t ->
       int ->
       Navigation.abstract Navigation.arrow ->
       (Pattern.id * point * Renaming.t) option

val signatures : t -> Signature.s

val new_obs_map : t -> (Pattern.id -> 'a) -> 'a Pattern.ObsMap.t

val to_navigation : t -> Pattern.id -> Navigation.abstract Navigation.t

val print : Format.formatter -> t -> unit

val to_yojson : t -> Yojson.Basic.json

val of_yojson : Yojson.Basic.json -> t