#include "base/bitstring.h"
#include "base/Timer.h"
#include "dbm/priced.h"
#include "../infimum.h"
#include "dbm/gen.h"
#include "dbm/print.h"
#include "debug/macros.h"

Defines
#define	LOOP   1000
#define	DIFF(D1, D2)   dbm_printDiff(stderr, D1, D2, size)
#define	ADBM(NAME)   PDBM NAME = pdbm_allocate(size);
#define	RANGE()   ((rand()%10000)+10)
#define	PROGRESS()   debug_spin(stderr)
Functions
static void	generate (PDBM pdbm, uint32_t size)
static void	benchmark_infimum (uint32_t size)
int	main (int argc, char *argv[])
Variables
static uint32_t	allDBMs = 0
static uint32_t	goodDBMs = 0
static double	time_infimum = 0

---

Define Documentation

#define ADBM (  NAME   )     PDBM NAME = pdbm_allocate(size);

#define DIFF (  D1, D2   )     dbm_printDiff(stderr, D1, D2, size)

#define LOOP   1000

#define PROGRESS (   )     debug_spin(stderr)

#define RANGE (   )     ((rand()%10000)+10)

---

Function Documentation

static void benchmark_infimum (  uint32_t  size  )  [static]

static void generate (  PDBM  pdbm, uint32_t  size )  [static]

int main (  int  argc, char *  argv[] )

---

Variable Documentation

uint32_t allDBMs = 0 [static]

uint32_t goodDBMs = 0 [static]

double time_infimum = 0 [static]

---