markallbdd(3) - Linux man page
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).