package zdd

  1. Overview
  2. Docs

Module Zdd.DownSetSource

Functor that creates a structure of downward closed sets

Parameters

module X : T

Signature

Sourcetype elt = X.t
Sourcetype t
Sourceval hash : t -> int

Hash function

Sourceval compare : t -> t -> int

Total order

Sourceval equal : t -> t -> bool

Equality test

Sourceval pp : Format.formatter -> t -> unit

Pretty-printer

Sourceval empty : t

The empty family

Sourceval base : t

The family { ∅ }

Sourceval below : elt list -> t

below [x1;... ; xn] is the family of the sets that are included in {x1,..., xn}.

Sourceval subset : t -> t -> bool

Inclusion test

Sourceval union : t -> t -> t

Union of set families

Sourceval inter : t -> t -> t

Intersection of set families

Sourceval join : t -> t -> t

join t1 t2 is the downward closure of the family { s1 ∪ s2 | s1 ∈ t1, s2 ∈ t2 }.

Sourceval meet : t -> t -> t

meet t1 t2 is the downward closure of the family { s1 ∩ s2 | s1 ∈ t1, s2 ∈ t2 }. This is the same as inter s1 s2.

Sourceval maxima : t -> elt list list

The maximal elements of a family

Sourceval subst : (elt -> t option) -> t -> t

Substitution

Sourceval iter_elt : (elt -> unit) -> t -> unit

Iterator on the elements that occur in the maximal elements of the set family. The elements might be encountered more than once, and the order in which they are encountered is unspecified.

Sourceval fold_elt : (elt -> 'a -> 'a) -> t -> 'a -> 'a

Folder on the elements that occur in the maximal elements of the set family. The elements might be encountered more than once, and the order in which they are encountered is unspecified.

Sourceval iter_maxima : (elt list -> unit) -> t -> unit

Iterator on the list of elements that represent the maximal sets in the families. The sets may occur in an unspecified order. The elements in the lists occur in increasing order.

Sourceval fold_maxima : (elt list -> 'a -> 'a) -> t -> 'a -> 'a

Folder on the list of elements that represent the maximal sets in the families. The sets may occur in an unspecified order. The elements in the lists occur in increasing order.