Crate oxidd_rules_mtbdd 

Rules and other basic definitions for multi-terminal binary decision diagrams

Feature flags

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

Modules

terminal

Structs

MTBDDFunction

Boolean function backed by a binary decision diagram

MTBDDRules

DiagramRules for (multi-terminal) binary decision diagrams

Enums

MTBDDOp

Native operations of this MTBDD implementation