|
Defines |
#define | MAXRANGE 10000 |
#define | RANGE() ((rand()%MAXRANGE)+10) |
#define | PROGRESS() debug_spin(stderr) |
#define | GEN(D) dbm_generate(D, dim, RANGE()) |
#define | NEW(N) raw_t *N = new raw_t[dim*dim] |
#define | FREE(N) delete [] N |
#define | POINTER(D) assert(D.isEmpty() == (D() == NULL)) |
#define | BEGIN for(int kLoop = 0; kLoop < 23; ++kLoop) { |
#define | END } |
#define | INVALIDATE(D) debug_randomize(D, dim*dim) |
#define | DBM(I, J) dbm[(I)*dim+(J)] |
#define | EQ(A, B) (A == B && A.relation(B) == base_EQUAL) |
#define | EQD(A, B) (A == B && A.relation(B, dim) == base_EQUAL) |
#define | NEQ(A, B) (A != B && A.relation(B) != base_EQUAL) |
#define | NEQD(A, B) (A != B && A.relation(B, dim) != base_EQUAL) |
Functions |
void | test (cindex_t dim) |
int | main (int argc, char *argv[]) |