APPLYBDDNODEITE(3) BDD FUNCTIONS APPLYBDDNODEITE(3) NAME applybddnodeite - computes the IF-THEN-ELSE logical operation. SYNOPSIS #include "bdd101.h" bddnode *applybddnodeite( BddSystem, BddIf, BddThen, BddElse ) bddnode *BddSystem; bddnode *BddIf; bddnode *BddThen; bddnode *BddElse; PARAMETERS BddSystem The bdd system. BddIf The IF bdd node. BddThen The THEN bdd node. BddElse The ELSE bdd node. DESCRIPTION applybddnodeite computes the following logical function (BddIf AND BddThen) OR ((NOT BddIf) AND BddElse) in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. RETURN VALUE applybddnodeite returns a pointer to the resulting bdd node with its number of external reference incremented. 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 ); addbddcircuitin( (bddcircuit *)0, "i0", 0, BDD_IN_MODE_FIRST ); addbddcircuitin( (bddcircuit *)0, "i1", 0, BDD_IN_MODE_FIRST ); addbddcircuitin( (bddcircuit *)0, "i2", 0, BDD_IN_MODE_FIRST ); BddNode = applybddnodeite( (bddsystem *)0, searchbddcircuitin( (bddcircuit *)0, "i0" ), searchbddcircuitin( (bddcircuit *)0, "i1" ), searchbddcircuitin( (bddcircuit *)0, "i2" ) ); Expr = convertbddcircuitabl( (bddcircuit *)0, BddNode ); /* displays ((i0 and i1) or ((not i0) and i2) */ viewablexpr( Expr, ABL_VIEW_VHDL ); freeablexpr( Expr ); destroybddsystem( (bddsystem *)0 ); destroybddcircuit( (bddcircuit *)0 ); SEE ALSO bdd(1) ASIM/LIP6 October 1, 1997 APPLYBDDNODEITE(3)
NAME | SYNOPSIS | PARAMETERS | DESCRIPTION | RETURN VALUE | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=applybddnodeite&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>