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.