Question Post: 302160641

7 More Discussions You Might Find Interesting

1. Programming

Yet Another Question

Now that I have getch() to work, I have yet another problem. BTW, thank you for answering these questions, I do ask a lot, only because I am eager to know, what is a board used for anyways :) Ok, he's the problem... #include iostream.h #include conio.h int main() { char movement; ...

2. Solaris

vi question

Im trying to edit a 113 meg file in VI and i get the error TMP FILE TOO LARGE. Does someone know how to get around this? Thanks!

3. UNIX for Dummies Questions & Answers

mv question

Hello if I like to move file from defined directories system to new directory that not contained any directories system structure . But I like to create the same file system structure as source directory for example : I have 2 directories: foo1 and foo2 foo1 have directories and foo2 have...

4. UNIX for Dummies Questions & Answers

Question

hallo, ik heb hier een vraagje. hoeveel gebruikers kunnen er op 1 unix systeem. hopelijk antwoorden golle nu want ik moet da vinde voor school en die leerkracht zaagt. :p groetjes eu wacht wa was mijne nick ah ja vraagje groetjes vraagje ik kan geen engels dus antwoord liever in het...

5. Shell Programming and Scripting

question about wc

Hey my friend was asking me if i knew a way to cout how many different words in a file. I told him no not off hand, but i was thinking about it, and i started to wonder also. I imagine this is probably pretty simple im just missing something, I keep confusing my self with how you would compair and...

6. Hardware

question

How to add 3 moniters to a pc set up?

7. AIX

df question

Hi, Can anyone please explain a little about df command. I have following question: Following example is showing % used as 4 where as total free blocks are 15.46 out of 16.00 MB blocks. df -m /test Filesystem MBblocks Free %Used Iused %Iused ...

LEARN ABOUT DEBIAN

constraintbdd

CONSTRAINTBDD(3)						   BDD functions						  CONSTRAINTBDD(3)

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

NAME

       constraintBdd - restricts a BDD to another BDD

SYNOPSYS

       #include "logmmm.h"
       pNode constraintBdd(pBdd1,pBdd2)
       pNode pBdd1;
       pNode pBdd2;

PARAMETERS

       pBdd1		   BDD to restrict

       pBdd2		   constraint BDD

DESCRIPTION

       constraintBdd() constructs the graph for the function obtained by restricting pBdd1 on pBdd2.  This function can be used for example when a
       primary input is stuck at 0 or 1.

EXAMPLE

       #include "mutnnn.h"	/* mbk utilities */
       #include "logmmm.h"
       pNode nodeA,nodeB;
       pNode res;

       initializeBdd(SMALL_BDD);
       nodeA = createNodeTermBdd(3);
       nodeB = createNodeTermBdd(3);
       res = applyBinBdd(OR,nodeA,nodeB); /* res = (OR a b)
       res = constraintBdd(res,nodeA);	       /* a = 1 */
       displayBdd(res,1);

       /* it will display
       @res   ONE
       */

       destroyBdd(1);

SEE ALSO

       log(1),	bdd(1),  simplifDcOneBdd(3),  simplifDcZeroBdd(3),  composeBdd(3),  applyBdd(3),  notBdd(3),  applyBinBdd(3),  addListBdd(3), dis-
       playBdd(3), createNodeTermBdd(3).

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						  CONSTRAINTBDD(3)