package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

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.