findall.h File Reference


Data Structures

struct  f_tr_chunk
struct  findall_solution_list

Defines

#define FINDALL_CHUNCK_SIZE   4000
#define F_TR_NUM   250

Typedefs

typedef f_tr_chunk f_tr_chunk

Variables

findall_solution_listfindall_solutions
findall_solution_listcurrent_findall
CPtr gl_bot
CPtr gl_top

Define Documentation

#define F_TR_NUM   250
 

#define FINDALL_CHUNCK_SIZE   4000
 


Typedef Documentation

typedef struct f_tr_chunk f_tr_chunk
 


Variable Documentation

findall_solution_list * current_findall
 

findall_solution_list* findall_solutions
 

CPtr gl_bot
 

CPtr gl_top
 


Generated on Wed Jul 26 13:26:53 2006 for XSB by  doxygen 1.4.5