Rechercher une page de manuel
markAllBdd
Langue: en
Version: October 1, 1997 (fedora - 05/07/09)
Section: 3 (Bibliothèques de fonctions)
man2html: unable to open or read file man1/alc_origin.1
NAME
markAllBdd - marks all the nodes of the BDDs systemSYNOPSYS
#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
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre