GETBDDVARINDEX(3) BDD FUNCTIONS GETBDDVARINDEX(3)NAME
getbddvarindex - converts a variable number in a bdd index.
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"
bddindex getbddvarindex( BddSystem, Variable )
bddsystem *BddSystem;
bddvar Variable;
PARAMETERS
BddSystem The bdd system.
Variable The variable number to convert.
DESCRIPTION
getbddvarindex converts the variable number Variable to a bdd index, in the bdd system BddSystem. If a null pointer is given, the default
bdd system is used. The function uses simply the translation table BddSystem->VAR_TO_INDEX.
RETURN VALUE
getbddvarindex returns the bdd index of Variable.
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 );
BddNode = addbddvar( (bddsystem *)0, 0 );
/* displays 2 */
printf( "%d", getbddvarindex( (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 GETBDDVARINDEX(3)
Check Out this Related Man Page
ADDBDDVAR(3) BDD FUNCTIONS ADDBDDVAR(3)NAME
addbddvar - adds a new variable in the bdd system.
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 *addbddvar( BddSystem, Variable )
bddsystem *BddSystem;
bddvar Variable;
PARAMETERS
BddSystem The bdd system.
Variable The variable number.
DESCRIPTION
addbddvar 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 VALUE
addbddvar 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 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 ADDBDDVAR(3)
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)
Ok, pretty hard to explain but I'll do my best.
Let's say MYVAR content is /home/me then
MYVAR=/home/me
I want to cd to that dir using the MYVAR variable.
Can't do cd $MYVAR even if I echo MYVAR and gives me /home/me.
MYVAR=/home/me
echo $MYVAR
cd $MYVAR
Does not change dir... (7 Replies)
Hi I am writing a script to show the current users and their current processes along with their actual name, tty, pid etc...
I am thinking the best method is to cut the infomation from the who, finger and w commands using a temp file to store and then pull the info from.
Inorder to set the... (2 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)
1. The problem statement, all variables and given/known data:
Variable is resetting to 0 after incrementing in while loop
My bit of scripting displays the current users logged in the machine.
Then it reads in a specific username and displays the processes for that user.
The portion that I... (3 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 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)
is this possible?
its kind of like incrementing the value of a number in a variable. but in this case, instead of the value of the variable being a number, it's just contents/strings/characters/alpha-numeric etc. NOT a number.
For instance:
VAR=Tommy
for all in $(blah blah)
do
... (2 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)