Crate oxidd_rules_zbdd 

Rules and other basic definitions for zero-suppressed binary decision diagrams

Feature flags

• multi-threading — Enable multi-threaded apply implementations
• statistics — Enable statistics generation

Structs

ZBDDCache

ZBDDFunction

ZBDDRules

DiagramRules for simple binary decision diagrams

Enums

ZBDDOp

Native operations of this ZBDD implementation

ZBDDTerminal

Terminal nodes in simple binary decision diagrams

Traits

HasZBDDCache

Functions

make_node

Create a set that corresponds to a ZBDD node at the level of var with the given hi and lo edges

var_boolean_functionDeprecated

Get the Boolean function v for the singleton set {v} (given by singleton)