On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package zdd
On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Set Families as ZDDs
This library implements the data-structure of ZDDs (Zero-Suppressed Binary Decision Diagrams)^1 to represent finite set families (i.e., sets of finite sets).
The library also provides implementation of upward-closed set families and downward-closed set families, by representing with ZDDs the minimal (respectively the maximal) elements of such sets.
Warning: be aware that this implementation is not thread safe, as it uses references and hash tables internally.
Documentation is available here.
References
On This Page