Module s2_gen_lattice

A behaviour for lattice-style data types.

This module defines the s2_gen_lattice behaviour.
Required callback functions: new/0, compare/2, merge/2, update/2, value/1.

Description

A behaviour for lattice-style data types.

element() = term()

element of the lattice -type value() :: _. %user-visible value

relation() = less_than | equal | greater_than | concurrent

behaviour_info/1
resolve/3	resolve(Mod, Elt1, Elt2) is the least upper bound of Elt1 and Elt2 in Mod.

behaviour_info(X1) -> any()

resolve(Mod::atom(), Elt1::element(), Elt2::element()) -> element()

resolve(Mod, Elt1, Elt2) is the least upper bound of Elt1 and Elt2 in Mod.

Generated by EDoc