33 f = fopen (
"debug.camd",
"r") ;
34 if (
f == (FILE *)
NULL)
45 printf (
"%s: CAMD_debug_init, D= "ID"\n", s,
CAMD_debug) ;
78 Int i, pe, elen, nv, len, e, p, k, j, deg, w, cnt, ilast ;
83 for (i = 0 ; i <
n ; i++)
110 CAMD_DEBUG4 ((
"\nI "ID": active principal supervariable:\n",i));
113 ASSERT (nv > 0 && pe >= 0) ;
117 ASSERT (pe + len <= pfree) ;
118 for (k = 0 ; k < len ; k++)
135 ASSERT (nv > 0 && pe < 0) ;
141 ASSERT (nv > 0 && pe >= 0) ;
144 ASSERT (pe + len <= pfree) ;
145 for (k = 0 ; k < len ; k++)
163 for (deg = 0 ; deg <
n ; deg++)
165 if (Head [deg] ==
EMPTY) continue ;
168 for (i = Head [deg] ; i !=
EMPTY ; i = Next [i])
171 i, Next [i], Last [i], Degree [i])) ;
172 ASSERT (i >= 0 && i <
n && ilast == Last [i] &&
181 CAMD_DEBUG4((
"\nCurrent C[i] is "ID". current Buckets are:\n", CurC)) ;
182 for (i = 0 ; i <
n ; i++)
184 if ((
C ==
NULL) ? 1 : (
C [BucketSet [i]] <= CurC))
GLOBAL void CAMD_debug_init(char *s)
#define CAMD_DEBUG3(params)
#define ASSERT(expression)
GLOBAL void CAMD_dump(Int n, Int Pe [], Int Iw [], Int Len [], Int iwlen, Int pfree, Int Nv [], Int Next [], Int Last [], Int Head [], Int Elen [], Int Degree [], Int W [], Int nel, Int BucketSet [], const Int C [], Int CurC)
#define CAMD_DEBUG4(params)