Crate oxidd_rules_tdd 

Rules and other basic definitions for general ternary decision diagrams

Feature flags

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

Structs

TDDFunction

Three value logic function backed by a ternary decision diagram

TDDRules

DiagramRules for ternary decision diagrams

Enums

TDDOp

Native operations of this TDD implementation

TDDTerminal

Terminal nodes in ternary decision diagrams