Module complement_edge 

Binary decision diagrams with complemented edges

Structs

BCDDFunction

Boolean function backed by a complement edge binary decision diagram

BCDDFunctionMT

Boolean function backed by a complement edge binary decision diagram

BCDDRules

DiagramRules for complement edge binary decision diagrams

BCDDTerminal

Terminal nodes in complement edge binary decision diagrams

Cofactors

Iterator over the cofactors of a node in a complement edge BDD

Enums

BCDDOp

Native operators of this BDD implementation

EdgeTag

Edge tag in complement edge BDDs