package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Lattice(L) register a domain as a lattice. It returns useful function for setting and updating the domain

Parameters

module L : Lattice

val set_dom : Egraph.wt -> Node.t -> L.t -> unit

set_dom d n l Set the domain of n with l and set its value if it is a singleton

val upd_dom : Egraph.wt -> Node.t -> L.t -> unit

upd_dom d n l Same than set_dom but set with the intersection of l with the current value of the domain.