Module oxidd_rules_bdd::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