structures More...
Go to the source code of this file.
Data Structures | |
struct | wl_operator_data |
struct | wl_int_list |
struct | wl_resid_list |
struct | wl_module |
struct | wl_keyword |
struct | wl_hash_table |
struct | wl_definition |
struct | wl_residuation |
struct | wl_psi_term |
struct | wl_node |
struct | wl_pair_list |
struct | wl_triple_list |
struct | wl_stack |
struct | wl_goal |
struct | wl_choice_point |
struct | wl_resid_block |
struct | wl_ListHeader |
struct | wl_ListLinks |
struct | wl_tab_brk |
struct | wl_item |
struct | psi_arg |
struct | wl_parse_block |
struct | hashbucket |
struct | hashentry |
struct | text_buffer |
Macros | |
#define | TEXTBUFSIZE 5000 |
Variables | |
ptr_node | module_table |
ptr_module | current_module |
structures
Definition in file def_struct.h.
#define TEXTBUFSIZE 5000 |
Definition at line 401 of file def_struct.h.
typedef struct wl_choice_point choice_point |
typedef struct wl_definition* def_type |
Definition at line 37 of file def_struct.h.
typedef struct wl_definition definition |
typedef unsigned long* GENERIC |
Definition at line 22 of file def_struct.h.
typedef long goals |
Definition at line 26 of file def_struct.h.
typedef struct wl_int_list int_list |
typedef struct wl_ListHeader ListHeader |
typedef struct wl_ListLinks ListLinks |
typedef int operator |
Definition at line 25 of file def_struct.h.
typedef struct wl_operator_data operator_data |
typedef struct wl_pair_list pair_list |
typedef struct wl_parse_block parse_block |
typedef struct wl_psi_term psi_term |
typedef void* PsiTerm |
Definition at line 9 of file def_struct.h.
typedef struct wl_choice_point* ptr_choice_point |
Definition at line 46 of file def_struct.h.
typedef struct wl_definition* ptr_definition |
Definition at line 36 of file def_struct.h.
Definition at line 45 of file def_struct.h.
typedef struct wl_hash_table* ptr_hash_table |
Definition at line 73 of file def_struct.h.
typedef struct wl_int_list* ptr_int_list |
Definition at line 34 of file def_struct.h.
Definition at line 307 of file def_struct.h.
typedef struct wl_keyword* ptr_keyword |
Definition at line 104 of file def_struct.h.
typedef struct wl_list* ptr_list |
Definition at line 43 of file def_struct.h.
typedef struct wl_module* ptr_module |
Definition at line 88 of file def_struct.h.
Definition at line 40 of file def_struct.h.
typedef struct wl_operator_data* ptr_operator_data |
Definition at line 33 of file def_struct.h.
typedef struct wl_pair_list* ptr_pair_list |
Definition at line 41 of file def_struct.h.
typedef struct wl_parse_block* ptr_parse_block |
Definition at line 386 of file def_struct.h.
quotedStackCopy
p | - psi_term p |
make psi term from unitListElement not sure purpose (DJD ???)
Definition at line 39 of file def_struct.h.
typedef struct wl_resid_block* ptr_resid_block |
Definition at line 249 of file def_struct.h.
typedef struct wl_resid_list* ptr_resid_list |
Definition at line 35 of file def_struct.h.
typedef struct wl_residuation* ptr_residuation |
Definition at line 38 of file def_struct.h.
Definition at line 44 of file def_struct.h.
typedef struct wl_tab_brk* ptr_tab_brk |
Definition at line 306 of file def_struct.h.
typedef struct wl_triple_list* ptr_triple_list |
Definition at line 42 of file def_struct.h.
typedef void* Ref |
Definition at line 263 of file def_struct.h.
typedef int(* RefListEnumProc)() |
Definition at line 267 of file def_struct.h.
typedef RefListLinks(* RefListGetLinksProc)() |
Definition at line 266 of file def_struct.h.
typedef struct wl_ListHeader* RefListHeader |
Definition at line 265 of file def_struct.h.
typedef struct wl_ListLinks* RefListLinks |
Definition at line 264 of file def_struct.h.
typedef struct wl_resid_block resid_block |
typedef struct wl_resid_list resid_list |
typedef struct wl_residuation residuation |
typedef char string[STRLEN] |
Definition at line 32 of file def_struct.h.
typedef struct wl_tab_brk tab_brk |
typedef struct wl_triple_list triple_list |
ptr_module current_module |
Definition at line 166 of file def_glob.h.
ptr_node module_table |
Definition at line 165 of file def_glob.h.