applybddnodeite

Langue: en

Version: October 1, 1997 (fedora - 05/07/09)

Section: 3 (Bibliothèques de fonctions)

NAME

applybddnodeite - computes the IF-THEN-ELSE logical operation.
man2html: unable to open or read file man1/alc_origin.1

SYNOPSYS

 #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)
man2html: unable to open or read file man1/alc_bug_report.1