package bdd
Implementation of BDD
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.tar.gz
md5=193cf8d966bbca4d864ac82460a18523
sha512=79c3f20fb17236c0f53af7fb42ba82f3e6f776c9e9def8fb3f219936fc5b72961c27a58eee8056cd92ce260b40568c5b16b67709e0bbc943e22f9e49a031aa16
doc/bdd/Bdd/index.html
Module BddSource
Propositional formulas
A variable is an integer, ranging from 1 to max_var (within a BDD module).
Module providing general-purpose map data structures indexed by BDD variables.
Source
val make :
?print_var:(Format.formatter -> variable -> unit) ->
?size:int ->
int ->
(module BDD)Creates a BDD module with a given maximum number of variables. Additionally, the size of the internal nodes table for each variable can be specified. Each table has a default size (7001) and is resized when necessary (i.e. when too many collisions occur). The print_var argument can be used to associate names with variables (by default it gives "x1", "x2", ...).