GETBDDVARNODE(3) BDD FUNCTIONS GETBDDVARNODE(3)NAME
getbddvarnode - gives the bdd node of a variable.
ORIGIN
This 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.fr
SYNOPSYS
#include "bdd101.h"
bddnode *getbddvarnode( BddSystem, Variable )
bddsystem *BddSystem;
bddvar Variable;
PARAMETERS
BddSystem The bdd system.
Variable The variable number.
DESCRIPTION
getbddvarnode gives the bdd node of the variable number Variable, in the bdd system BddSystem. If a null pointer is given, the default bdd
system is used.
RETURN VALUE
getbddvarnode returns a pointer to the variable bdd node.
ERRORS
"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 );
addbddvar( (bddsystem *)0, 0 );
BddNode = getbddvarnode( (bddsystem *)0, 0 );
...
destroybddsystem( (bddsystem *)0 );
SEE ALSO bdd(1)BUG REPORT
This 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 GETBDDVARNODE(3)
Check Out this Related Man Page
GETBDDVARNODEBYINDEX(3) BDD FUNCTIONS GETBDDVARNODEBYINDEX(3)NAME
getbddvarnode - gives the bdd node of a variable.
ORIGIN
This 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.fr
SYNOPSYS
#include "bdd101.h"
bddnode *getbddvarnodebyindex( BddSystem, Index )
bddsystem *BddSystem;
bddindex Index;
PARAMETERS
BddSystem The bdd system.
Index The bdd index.
DESCRIPTION
getbddvarnode gives the bdd node of the bdd index Index, in the bdd system BddSystem. If a null pointer is given, the default bdd system
is used. The function uses simply the table BddSystem->VAR_NODE.
RETURN VALUE
getbddvarnode returns a pointer to the variable bdd node.
ERRORS
"index xxx out of range, error !"
The Index parameter must be a valid index.
EXAMPLE
#include "bdd101.h"
bddsystem *BddSystem;
bddnode *BddNode;
BddSystem = createbddsystem( 100, 1000, 100, 50000 );
addbddvar( (bddsystem *)0, 0 );
BddNode = getbddvarnodebyindex( (bddsystem *)0, 2 );
...
destroybddsystem( (bddsystem *)0 );
SEE ALSO bdd(1)BUG REPORT
This 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 GETBDDVARNODEBYINDEX(3)
Hi, i m trying to loop a variable value, Basically i m reading variable value from an input file and using in rest of the program. Bu my problem is when i first time read value and assign to variable it works fine, but in second read it concatinate second value to first value with a LF. I want to... (2 Replies)
Hello all,
How can i access the value of variable within a variable?
Please go through the following code:
count=0
newstr=aaaa${count}
echo "enter value : "
read $newstr <---- Suppose the value entered by the user is "home"
echo $newstr <---- This will print "aaaa0"... (4 Replies)
I am having difficulty wrapping my head around this one, maybe it is just because it is Monday. Anyway, a DBA came to me and asked me a question on a script he is working on. In a very simple format here is what the meat of the problem is.
#/bin/sh
arg=$1
export monkey_21_test=910
export... (2 Replies)
How do I check whether a variable has a value or not. When I am reading a value into a variable, I want to check whether the variable has value or not. How do I null check the variable.
My Problem is I am reading an IP Address into a variable. When I press enter without entering any value,... (4 Replies)
Dear All,
I want to print a file.
First I tried with this
sed '2q;d' filename
it worked. But when i put following it is not working
x=2;
sed '$xq;d' filename
Would any one suggest how to pass the variable? (7 Replies)
Hi ,
I have a variable as follows,
Temp=`cat ABC.txt | cut -c5-`
This will yeild a part of the date. say , 200912.
I would like to substitute this variable's value in a filename.
eg: File200912F.zip
when i say File$TempF.zip , it is not substituting.
Any help ?
Thanks in... (2 Replies)
Hi,
I've got a small problem.
If varible A stores "B" and Variable B stores C,
How to get the value of variable B by using only Variable A..?
I tried the following but didnt work pease help..
$ var1=vikram
$ echo $var1
vikram
$ vikram=sampath
$ echo $vikram
sampath
$ echo... (6 Replies)
i was wondering is there anyway to take the output of a command and put it into a variable??
what i need to to is only take a certain part of the output that lies between <"data needed ">
---------- Post updated at 09:39 PM ---------- Previous update was at 09:38 PM ----------
and place... (6 Replies)
Hi All,
OS HPUX 11.11
I am using following script to take controlfile backup. I have used SID variable to hold "ffin1" value, which I again subsitute in "'/db/ffin1/home/oraffin1/$SID_$wdate.ctl'" command. Well, after running this, SID variable does not subsittue it's value, while wdate... (6 Replies)
Hello,
First post for Newbie as I am stumped. I need to get certain elements for a specific PID from the ps command. I am attempting to pass the value for the PID I want to retrieve the information for as a variable. When the following is run without using a variable, setting a specific PID,... (3 Replies)
i have a variable that has more than one value. i am declaring another variable, which will have the old variable data one by one. i want to use the second variable to hold the track of all the variable it has parsed from the first one. can somebody help me how do i declare and use the second... (7 Replies)
I want to match exact string stored in Variable INO and print next two lines. I have written below code which partially matches:
awk '/\'$VAR'/{getline; getline; print}'
Will be thankful , if somebody can help in to resolve this problem.
Please view this code tag video for how to use... (9 Replies)
Hello All,
Maybe I'm Missing something here but I have NOOO idea what the heck is going on with this....?
I have a Variable that contains a PATTERN of what I'm considering "Illegal Characters". So what I'm doing is looping
through a string containing some of these "Illegal Characters". Now... (5 Replies)
Hello All,
I was wondering how I can assign a here document facility to a variable. I have tried the following:
menu=$(<<MENU
Option1
Option2
Option3
Option4
MENU
)
...but when I echo the $menu variable, the multiline list comes out in a single line such as:
Option1 Option2 Option3... (14 Replies)