|
Defines |
#define | MAX_FINDALLS 250 |
#define | on_glstack(p) ((gl_bot <= p) && (p < gl_top)) |
Functions |
void | findall_free (CTXTdeclc int) |
int | get_more_chunk (CTXTdecl) |
void | findall_copy_to_heap (CTXTdeclc Cell, CPtr, CPtr *) |
int | findall_init_c (CTXTdecl) |
int | findall_init (CTXTdecl) |
void | findall_clean (CTXTdecl) |
static void | findall_untrail (CTXTdecl) |
static int | findall_trail (CTXTdeclc CPtr p, Cell val) |
static int | init_findall_trail (CTXTdecl) |
static int | findall_copy_template_to_chunk (CTXTdeclc Cell from, CPtr to, CPtr *h) |
int | findall_add (CTXTdecl) |
int | findall_get_solutions (CTXTdecl) |
static long | term_size (CTXTdeclc Cell term) |
static void | do_copy_term (CTXTdeclc Cell from, CPtr to, CPtr *h) |
int | copy_term (CTXTdecl) |
void | mark_findall_strings (CTXTdecl) |
Variables |
findall_solution_list * | findall_solutions = NULL |
findall_solution_list * | current_findall |
static int | nextfree |
CPtr | gl_bot |
CPtr | gl_top |
static f_tr_chunk * | cur_tr_chunk |
static CPtr * | cur_tr_top |
static CPtr * | cur_tr_limit |