ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at
LIP6 laboratory of Université 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.