simpbddnodedcon.3alc - Man Page
simplifies a bdd with don't cares on its on-set part.
Synopsis
#include "bdd101.h" bddnode ∗simpbddnodedcon( BddSystem, BddOn, BddDc ) bddsystem ∗BddSystem; bddnode ∗BddOn; bddnode ∗BddDc;
Parameters
- BddSystem
The bdd system.
- BddOn
The first bdd node.
- BddDc
The second bdd node.
Description
simpbddnodedcon simplifies the bdd node BddOn with BddDc, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. The bdd node BddDc must be included imperatively in the on-set part of the bdd node BddOn.
Return Value
simpbddnodedcon returns the simplified bdd node.
Example
#include "bdd101.h" bddsystem ∗BddSystem; bddcircuit ∗BddCircuit; bddnode ∗BddOn; bddnode ∗BddDc; bddnode ∗BddNode; chain_list ∗Expr; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem ); Expr = createablbinexpr( ABL_OR, createablatom( "i0" ), createablatom( "i1" ) ); BddOn = addbddcircuitabl( BddCircuit, Expr ); freeablexpr( Expr ); Expr = createablbinexpr( ABL_NOR, createablatom( "i0" ), createablatom( "i1" ) ); BddDc = addbddcircuitabl( BddCircuit, Expr ); freeablexpr( Expr ); BddNode = simpbddnodedcon( (bddsystem ∗)0, BddOn, BddDc ); Expr = convertbddcircuitabl( BddCircuit, BddNode ); /* displays '1' */ viewablexpr( Expr, ABL_VIEW_VHDL ); freeablexpr( Expr ); destroybddsystem( (bddsystem ∗)0 ); destroybddcircuit( (bddcircuit ∗)0 );
See Also
Info
October 1, 1997 ASIM/LIP6 BDD FUNCTIONS