next up previous index
Next: The C++ Interface Up: Programmer's Manual Previous: Gathering and Interpreting Statistics

Guidelines for Documentation

  

The documentation of the CUDD functions is extracted automatically from the sources by Stephen Edwards's extdoc. (The Ext system is available via anonymous FTP  from ic.eecs.berkeley.edu.) The following guidelines are followed in CUDD to insure consistent and effective use of automatic extraction. It is recommended that extensions to CUDD follow the same documentation guidelines.



Fabio Somenzi
Tue May 12 18:47:58 MDT 1998