markAllBdd.3alc - Man Page

marks all the nodes of the BDDs system

Synopsis

#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).

Referenced By

destroyBdd.3alc(3), gcNodeBdd.3alc(3), initializeBdd.3alc(3), markBdd.3alc(3), resetBdd.3alc(3).

October 1, 1997 ASIM/LIP6 BDD functions