package KaSim

  1. Overview
  2. Docs
type transition = private {
  1. next : Navigation.abstract Navigation.t;
  2. dst : id;
  3. inj : Renaming.t;
}
type point
val content : point -> cc
val roots : point -> (int list * int) option
val deps : point -> Operator.DepSet.t
val sons : point -> transition list
type t
val get : t -> id -> point
val get_single_agent : int -> t -> (id * Operator.DepSet.t) option
val get_elementary : t -> Agent.t -> int -> Navigation.abstract Navigation.arrow -> (id * point * Renaming.t) option
val signatures : t -> Signature.s
val new_obs_map : t -> (id -> 'a) -> 'a ObsMap.t
val to_navigation : t -> 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
OCaml

Innovation. Community. Security.