Linux and UNIX Man Pages

Linux & Unix Commands - Search Man Pages

swapbddvar(3) [debian man page]

SWAPBDDVAR(3)							   BDD FUNCTIONS						     SWAPBDDVAR(3)

NAME
swapbddvar - swaps two contiguous variables. 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" void swapbddvar( BddSystem, Variable ) bddsystem *BddSystem; bddvar Variable; PARAMETERS
BddSystem The bdd system. Variable The variable to swap. DESCRIPTION
swapbddvar swaps the variable number Variable with the variable number Variable + 1, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. This function is usefull for the bdd nodes reordering. RETURN VALUE
swapbddvar returns nothing. ERRORS
"variable xxx out of range, error !" The Variable and Variable + 1, must be valid variables number. EXAMPLE
#include "bdd101.h" bddsystem *BddSystem; bddnode *BddNode1; bddnode *BddNode2; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); BddNode1 = addbddvar( (bddsystem *)0, 0 ); BddNode2 = addbddvar( (bddsystem *)0, 0 ); swapbddvar( (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 SWAPBDDVAR(3)

Check Out this Related Man Page

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)
Man Page

15 More Discussions You Might Find Interesting

1. AIX

Variable Testing for size

How do you test a variable size to know if it is empty or not? Thanks (4 Replies)
Discussion started by: jango
4 Replies

2. UNIX for Dummies Questions & Answers

Cut a Variable into sub variables based on a delimiter

Hello All, I am novice on Shell Scripting. Any help on this is highly appreciated. I have a variable $VARIABLE="$some1|$some2|$some3" I need sub variables $SUBVAR1,$SUBVAR2,$SUBVAR3 which must be equal to $some1 , $some2 and $some3 respectively. It works fine with $SUBVAR1 =... (6 Replies)
Discussion started by: jingi1234
6 Replies

3. Shell Programming and Scripting

increment a Variable

hi, i want to increment a Variable but it doesnt work. here my codé COUNT=1 COUNT= 'expr $COUNT + 1' i've tried it in the prompt but it print me: expr: syntaxerror What does I make wrong? (4 Replies)
Discussion started by: cengiz
4 Replies

4. Shell Programming and Scripting

reading variables from a file

Hi, Could anyone help me in understanding what I am missing.. I have a text file with the following info. INFILE=> #Name Variable=<value> #--------------------------------- name1 inargs="-a Filename1.$VAR.csv -f Filename2.$VAR.csv -c File.c" name1 ... (4 Replies)
Discussion started by: ttshell
4 Replies

5. Shell Programming and Scripting

Shell Variable - Please help

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)
Discussion started by: nisha5
4 Replies

6. Shell Programming and Scripting

Variable

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)
Discussion started by: qfwfq
7 Replies

7. Shell Programming and Scripting

Passing Variable in sed

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)
Discussion started by: saifurshaon
7 Replies

8. Linux

How to get an Indirect Variable Value..?

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)
Discussion started by: vickramshetty
6 Replies

9. Shell Programming and Scripting

Variable value not retaining outside function

Hi All, As per my understanding, value of variable is retained outside function. But the value of array myarrayDriver is not retained outside function. Could you please tell the reason for the same.. code: readingConfigFile() { search_keyword="$1" i=0 for pointer in $(cat... (7 Replies)
Discussion started by: ajincoep
7 Replies

10. UNIX for Dummies Questions & Answers

Output into a Variable

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)
Discussion started by: jmorey
6 Replies

11. UNIX for Dummies Questions & Answers

Variable is not substituting values

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)
Discussion started by: alok.behria
6 Replies

12. Shell Programming and Scripting

Variable increment (of some sort)

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)
Discussion started by: gopajitmalakar
7 Replies

13. Shell Programming and Scripting

Match exact Variable in Awk

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)
Discussion started by: nitj
9 Replies

14. Shell Programming and Scripting

Array Variable being Assigned Values in Loop, But Gone when Loop Completes???

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)
Discussion started by: mrm5102
5 Replies

15. Shell Programming and Scripting

Assign Here Document Facility to a Variable

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)
Discussion started by: techieg
14 Replies

Featured Tech Videos