table of contents
VIEWBDDSYSTEMINFO(3) | BDD FUNCTIONS | VIEWBDDSYSTEMINFO(3) |
NAME¶
viewbddsysteminfo - displays statistical informations.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@asim.lip6.fr
SYNOPSYS¶
#include "bdd101.h" void viewbddsysteminfo( BddSystem ) bddsystem ∗BddSystem;
PARAMETERS¶
- BddSystem
- The bdd system to examines.
DESCRIPTION¶
viewbddsysteminfo provides statistical informations on the bdd system BddSystem, for example the perfomance of the different caches. If a null pointer is given, the default bdd system is used.RETURN VALUE¶
viewbddsysteminfo returns nothing.EXAMPLE¶
#include "bdd101.h" bddsystem ∗BddSystem; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); ... viewbddsysteminfo( BddSystem ); destroybddsystem( BddSystem );
SEE ALSO¶
bdd(1) viewbddsystem(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.
October 1, 1997 | ASIM/LIP6 |