markAllBdd

Langue: en

Version: October 1, 1997 (fedora - 05/07/09)

Section: 3 (Bibliothèques de fonctions)

Sommaire

man2html: unable to open or read file man1/alc_origin.1

NAME

markAllBdd - marks all the nodes of the BDDs system

SYNOPSYS

 #include "logmmm.h"
 void markAllBdd(value)
 short value;

PARAMETER

value
value to assign

DESCRIPTION

markAllBdd() assigns to value the marks of all the nodes used in the BDDs system.

SEE ALSO

log(1), bdd(1), markBdd(3), numberNodeBdd(3), numberNodeAllBdd(3), supportChain_listBdd(3).
man2html: unable to open or read file man1/alc_bug_report.1