MARKALLBDD(3) BDD functions MARKALLBDD(3)
ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
Paris, France.
Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr
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).
BUG REPORT
This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.
ASIM
/LIP6 October 1, 1997 MARKALLBDD(3)
