praxis / algorithms

---

Module algorithms

Contents

• Modules
  • bdd_engine
  • bdd_vectored
  • build
  • cycle
  • direct_zbdd
  • mocus
  • modules
  • noncoherent_mocus
  • ordering
  • pdag
  • reorder
  • simplify
  • zbdd_engine

Quick Reference

Item	Kind	Description
bdd_engine	mod
bdd_vectored	mod
build	mod
cycle	mod
direct_zbdd	mod
mocus	mod
modules	mod
noncoherent_mocus	mod
ordering	mod
pdag	mod
reorder	mod
simplify	mod	Optional, function-preserving PDAG simplifications.
zbdd_engine	mod

Modules

• bdd_engine
• bdd_vectored
• build
• cycle
• direct_zbdd
• mocus
• modules
• noncoherent_mocus
• ordering
• pdag
• reorder
• simplify — Optional, function-preserving PDAG simplifications.
• zbdd_engine