Query: addbddvar
OS: debian
Section: 3
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
ADDBDDVAR(3) BDD FUNCTIONS ADDBDDVAR(3)NAMEaddbddvar - adds a new variable in the bdd system.ORIGINThis software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in Paris, France. Web : http://asim.lip6.fr/recherche/alliance/ E-mail : alliance-users@asim.lip6.frSYNOPSYS#include "bdd101.h" bddnode *addbddvar( BddSystem, Variable ) bddsystem *BddSystem; bddvar Variable;PARAMETERSBddSystem The bdd system. Variable The variable number.DESCRIPTIONaddbddvar creates a new variable, with the number Variable, in the bdd system BddSystem. If a null pointer is given, the default bdd sys- tem is used.RETURN VALUEaddbddvar returns a pointer to the bdd node of the new variable.ERRORS"no more variables, error !" There is no variable number left. "variable xxx out of range, error !" The Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field.EXAMPLE#include "bdd101.h" bddsystem *BddSystem; bddnode *BddNode; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); BddNode = addbddvar( (bddsystem *)0, 0 ); destroybddsystem( (bddsystem *)0 );SEE ALSObdd(1)BUG REPORTThis tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools.ASIM/LIP6 October 1, 1997 ADDBDDVAR(3)
Related Man Pages |
---|
addbddvarfirst(3) - debian |
getbddvarbyindex(3) - debian |
getbddvarnodebyindex(3) - debian |
reorderbddsystemsimple(3) - debian |
swapbddvar(3) - debian |
Similar Topics in the Unix Linux Community |
---|
Shell Variable - Please help |
checking a variable is within range |
Reading file and assigning that to Variable |
Output into a Variable |
Export Variable throws message |