groups.dox 759 B

12345678910111213141516171819202122232425262728293031323334
  1. /**
  2. * @mainpage CUDD Documentation
  3. *
  4. * @brief The CUDD package manipulates Binary Decision Diagrams (BDDs),
  5. * Algebraic Decision Diagrams (ADDs), and Zero-suppressed binary Decision
  6. * Diagrams (ZDDs).
  7. */
  8. /**
  9. * @defgroup cudd cudd
  10. * @brief The University of Colorado Decision Diagram package.
  11. *
  12. * @defgroup mtr mtr
  13. * @brief Multiway-branching Trees.
  14. *
  15. * @defgroup epd epd
  16. * @brief Extended double precision package.
  17. *
  18. * @defgroup st st
  19. * @brief Symbol Table package.
  20. *
  21. * @defgroup util util
  22. * @brief Low-level utilities.
  23. *
  24. * @defgroup cstringstream cstringstream
  25. * @brief (Simple) stringstreams in C.
  26. *
  27. * @defgroup cplusplus cplusplus
  28. * @brief C++ CUDD wrapper.
  29. *
  30. * @defgroup nanotrav nanotrav
  31. * @brief CUDD test application.
  32. */