[Javabdd-checkins] JavaBDD bddtrace.c,NONE,1.1 buddy_jni.c,1.23,1.24

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

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

Modified Files:
	buddy_jni.c 
Added Files:
	bddtrace.c 
Log Message:
Added bdd_setallocnum.

Index: buddy_jni.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy_jni.c,v
retrieving revision 1.23
retrieving revision 1.24
diff -C2 -d -r1.23 -r1.24
*** buddy_jni.c	19 Oct 2004 11:11:54 -0000	1.23
--- buddy_jni.c	17 Nov 2004 23:00:23 -0000	1.24
***************
*** 340,350 ****
    jnienv = env;
  #if defined(TRACE_BUDDYLIB)
!   printf("bdd_getallocnum()\n");
! #endif
!   result = bdd_getallocnum();
! #if defined(TRACE_BUDDYLIB)
!   printf("bdd_noderesize2(%d, %d, %d)\n", 1, result, size);
  #endif
!   bdd_noderesize2(1, result, size);
    check_error(env);
    return result;
--- 340,346 ----
    jnienv = env;
  #if defined(TRACE_BUDDYLIB)
!   printf("bdd_setallocnum(%d)\n", size);
  #endif
!   result = bdd_setallocnum(size);
    check_error(env);
    return result;

--- NEW FILE: bddtrace.c ---
#include "bdd.h"
int main(void)
{
	BDD _bdda;
	BDD _bddb;
	BDD _bddc;
	BDD _bddd;
	BDD _bdde;
	BDD _bddf;
	BDD _bddg;
	BDD _bddh;
	BDD _bddi;
	BDD _bddj;
	BDD _bddk;
	BDD _bddl;
	BDD _bddm;
	BDD _bddn;
	BDD _bddo;
	BDD _bddp;
[...16023 lines suppressed...]
	_bddua = bdd_delref(_bddua);
	_bddva = bdd_delref(_bddva);
	_bddwa = bdd_delref(_bddwa);
	_bddxa = bdd_delref(_bddxa);
	_bddya = bdd_delref(_bddya);
	_bddza = bdd_delref(_bddza);
	_bddab = bdd_delref(_bddab);
	_bddbb = bdd_delref(_bddbb);
	_bddcb = bdd_delref(_bddcb);
	_bdddb = bdd_delref(_bdddb);
	_bddeb = bdd_delref(_bddeb);
	_bddfb = bdd_delref(_bddfb);
	_bddgb = bdd_delref(_bddgb);
	_bddhb = bdd_delref(_bddhb);
	_bddib = bdd_delref(_bddib);
	_bddjb = bdd_delref(_bddjb);
	_bddkb = bdd_delref(_bddkb);
	_bddlb = bdd_delref(_bddlb);
	_bddrbh = bdd_delref(_bddsfg);
	_bddsbh = bdd_delref(_bddqbh);return 0; }