package colibri2

  1. Overview
  2. Docs

Parameters

module P : sig ... end

Signature

val assume_equality : Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> P.t -> unit

assume_equality d n p assumes the equality n = p

val init : Colibri2_core.Egraph.wt -> unit

Initialize the data-structure needed.

val get_repr : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> P.t option
val iter_eqs : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> f:(P.t -> unit) -> unit
val attach_repr_change : _ Colibri2_core.Egraph.t -> ?node:Colibri2_core.Node.t -> (Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> unit) -> unit
val attach_eqs_change : _ Colibri2_core.Egraph.t -> ?node:Colibri2_core.Node.t -> (Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> unit) -> unit
val reshape : Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> f:(P.t -> P.t option) -> unit

Apply the given function to all the normalized form which contains this node. The resulting normalized form should contain the same or less nodes than before.

OCaml

Innovation. Community. Security.