package KaSim

  1. Overview
  2. Docs
type t
type matching = t
val empty : t
val debug_print : Format.formatter -> t -> unit
val get : (Agent.t * int) -> t -> int
val reconstruct_renaming : Pattern.Env.t -> Edges.t -> Pattern.id -> int -> Renaming.t
val reconstruct : Pattern.Env.t -> Edges.t -> t -> int -> Pattern.id -> int -> t option
val add_cc : t -> int -> Renaming.t -> t option
val is_root_of : Pattern.Env.t -> Edges.t -> Agent.t -> Pattern.id -> bool
val elements_with_types : Pattern.Env.t -> Pattern.id array -> t -> Agent.t list array
type cache
val empty_cache : cache
val observables_from_agent : Pattern.Env.t -> Edges.t -> (((Pattern.id * (int * int)) list * Operator.DepSet.t) * cache) -> Agent.t -> ((Pattern.id * (int * int)) list * Operator.DepSet.t) * cache
val observables_from_free : Pattern.Env.t -> Edges.t -> (((Pattern.id * (int * int)) list * Operator.DepSet.t) * cache) -> Agent.t -> int -> ((Pattern.id * (int * int)) list * Operator.DepSet.t) * cache
val observables_from_internal : Pattern.Env.t -> Edges.t -> (((Pattern.id * (int * int)) list * Operator.DepSet.t) * cache) -> Agent.t -> int -> int -> ((Pattern.id * (int * int)) list * Operator.DepSet.t) * cache
module Agent : sig ... end