package colibri2

  1. Overview
  2. Docs
package colibri2
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct