SIMPLE SOLUTIONS

CONVERTBDDCIRCUITABL(3) - Linux man page online | Library functions

Converts a bdd node to an abl expression.

Chapter
October 1, 1997
CONVERTBDDCIRCUITABL(3) BDD FUNCTIONS CONVERTBDDCIRCUITABL(3)

NAME

convertbddcircuitabl - converts a bdd node to an abl expression.

SYNOPSYS

#include "bdd101.h" chain_list ∗convertbddcircuitabl( BddCircuit, BddNode ) bddcircuit ∗BddCircuit; bddnode ∗BddNode;

PARAMETERS

BddCircuit The bdd circuit. BddNode The bdd node to convert.

DESCRIPTION

convertbddcircuitabl converts the bdd node to an abl expression. The BddCircuit is used to translate the variable nodes into atomic expressions. If a null pointer is given, the default bdd circuit is used.

RETURN VALUE

convertbddcircuitabl returns a pointer to the abl expression translated.

EXAMPLE

#include "bdd101.h" bddsystem ∗BddSystem; bddcircuit ∗BddCircuit; bddnode ∗BddNode; chain_list ∗Expr; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem ); Expr = createablbinexpr( ABL_AND, createablatom( "i0" ), createablatom( "i1" ) ); BddNode = addbddcircuitabl( BddCircuit, Expr ); freeablexpr( Expr ); Expr = convertbddcircuitabl( BddCircuit, BddNode ); /* displays (i0 and i1) */ viewablexpr( Expr, ABL_VIEW_VHDL ); freeablexpr( Expr ); destroybddsystem( (bddsystem ∗)0 ); destroybddcircuit( (bddcircuit ∗)0 );

SEE ALSO

bdd(1), abl(1), addbddcircuitabl(3).
ASIM/LIP6 October 1, 1997 CONVERTBDDCIRCUITABL(3)
This manual Reference Other manuals
convertbddcircuitabl(3) referred by addbddcircuitabl(3)
refer to abl(1) | addbddcircuitabl(3) | bdd(1)
Download raw manual
Main page BDD FUNCTIONS (+101) ASIM/LIP6 (+480) № 3 (+68044)
Go top