MARKALLBDD

ORIGIN

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France.

Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users AT asim DOT lip6 DOT fr

NAME

markAllBdd - marks all the nodes of the BDDs system

SYNOPSIS

#include "logmmm.h"
void markAllBdd(value)
short value;

PARAMETER

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

BUG REPORT

This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.