markAllBdd3
Marks all the nodes of the bdds system
Synopsys
#include "logmmm.h" void markAllBdd(value) short value;
Parameter
- value
-
value to assign
Overview
markAllBdd() assigns to value the marks of all the nodes used in the BDDs system.
Releases
4 releases since Debian 7 (Wheezy); the text changed 1 time.