RESETBDDCIRCUIT(3) - Linux man page online | Library functions
Resets a bdd circuit.
Chapter
October 1, 1997
RESETBDDCIRCUIT(3) BDD FUNCTIONS RESETBDDCIRCUIT(3)
ASIM/LIP6 October 1, 1997 RESETBDDCIRCUIT(3)
NAME
resetbddcircuit - resets a bdd circuit.SYNOPSYS
#include "bdd101.h" void resetbddcircuit( BddCircuit ) bddcircuit ∗BddCircuit;PARAMETERS
BddCircuit The bdd circuit to reset.DESCRIPTION
resetbddcircuit resets the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used.RETURN VALUE
resetbddcircuit returns nothing.EXAMPLE
#include "bdd101.h" bddsystem ∗BddSystem; bddcircuit ∗BddCircuit; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem ); ... resetbddcircuit( (bddcircuit ∗)0 ); ... destroybddsystem( (bddsystem ∗)0 );SEE ALSO
bdd(1), createbddcircuit(3), destroybddcircuit(3).This manual | Reference | Other manuals |
---|---|---|
resetbddcircuit(3) | referred by | createbddcircuit(3) |
refer to | bdd(1) | createbddcircuit(3) | destroybddcircuit(3) |