[Javabdd-checkins] JavaBDD/buddy/src bdd.h,1.3,1.4

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD/buddy/src
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv19698/buddy/src

Modified Files:
	bdd.h 
Log Message:
Added bdd_setallocnum.

Index: bdd.h
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/bdd.h,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** bdd.h	19 Oct 2004 11:11:21 -0000	1.3
--- bdd.h	17 Nov 2004 23:05:02 -0000	1.4
***************
*** 236,241 ****
  extern int      bdd_setminfreenodes(int);
  extern int      bdd_getnodenum(void);
  extern int      bdd_getallocnum(void);
- extern int      bdd_noderesize2(int, int, int);
  extern char*    bdd_versionstr(void);
  extern int      bdd_versionnum(void);
--- 236,241 ----
  extern int      bdd_setminfreenodes(int);
  extern int      bdd_getnodenum(void);
+ extern int      bdd_setallocnum(int);
  extern int      bdd_getallocnum(void);
  extern char*    bdd_versionstr(void);
  extern int      bdd_versionnum(void);