Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
SIMPBDDNODEDCON(3)		 BDD FUNCTIONS		    SIMPBDDNODEDCON(3)

NAME
       simpbddnodedcon - simplifies a bdd with don't cares on its on-set part.

SYNOPSYS
       #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
       bdd(1)

ASIM/LIP6			October	1, 1997		    SIMPBDDNODEDCON(3)

NAME | SYNOPSYS | PARAMETERS | DESCRIPTION | RETURN VALUE | EXAMPLE | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=simpbddnodedcon&sektion=3&manpath=FreeBSD+12.2-RELEASE+and+Ports>

home | help