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.