MARKALLBDD(3) BDD functions MARKALLBDD(3) NAME markAllBdd - 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), support- Chain_listBdd(3). ASIM/LIP6 October 1, 1997 MARKALLBDD(3)
NAME | SYNOPSIS | PARAMETER | DESCRIPTION | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=markAllBdd&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>