#include "xsb_config.h"#include "xsb_debug.h"#include <stdio.h>#include <stdlib.h>#include "auxlry.h"#include "cell_xsb.h"#include "deref.h"#include "register.h"#include "memory_xsb.h"#include "psc_xsb.h"#include "error_xsb.h"#include "heap_xsb.h"#include "binding.h"#include "subp.h"#include "flags_xsb.h"#include "loader_xsb.h"#include "cinterf.h"#include "context.h"#include "findall.h"#include "thread_xsb.h"#include "debug_xsb.h"#include "ptoc_tag_xsb_i.h"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 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.4.5