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 |
#define TEXTBUFSIZE 5000 |
Definition at line 396 of file def_struct.h.
typedef struct wl_choice_point choice_point |
typedef struct wl_definition* def_type |
Definition at line 32 of file def_struct.h.
typedef struct wl_definition definition |
typedef unsigned long* GENERIC |
Definition at line 17 of file def_struct.h.
typedef long goals |
Definition at line 21 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 20 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 4 of file def_struct.h.
typedef struct wl_choice_point* ptr_choice_point |
Definition at line 41 of file def_struct.h.
typedef struct wl_definition* ptr_definition |
Definition at line 31 of file def_struct.h.
Definition at line 40 of file def_struct.h.
typedef struct wl_hash_table* ptr_hash_table |
Definition at line 68 of file def_struct.h.
typedef struct wl_int_list* ptr_int_list |
Definition at line 29 of file def_struct.h.
Definition at line 302 of file def_struct.h.
typedef struct wl_keyword* ptr_keyword |
Definition at line 99 of file def_struct.h.
typedef struct wl_list* ptr_list |
Definition at line 38 of file def_struct.h.
typedef struct wl_module* ptr_module |
Definition at line 83 of file def_struct.h.
Definition at line 35 of file def_struct.h.
typedef struct wl_operator_data* ptr_operator_data |
Definition at line 28 of file def_struct.h.
typedef struct wl_pair_list* ptr_pair_list |
Definition at line 36 of file def_struct.h.
typedef struct wl_parse_block* ptr_parse_block |
Definition at line 381 of file def_struct.h.
typedef struct wl_psi_term* ptr_psi_term |
Definition at line 34 of file def_struct.h.
typedef struct wl_resid_block* ptr_resid_block |
Definition at line 244 of file def_struct.h.
typedef struct wl_resid_list* ptr_resid_list |
Definition at line 30 of file def_struct.h.
typedef struct wl_residuation* ptr_residuation |
Definition at line 33 of file def_struct.h.
Definition at line 39 of file def_struct.h.
typedef struct wl_tab_brk* ptr_tab_brk |
Definition at line 301 of file def_struct.h.
typedef struct wl_triple_list* ptr_triple_list |
Definition at line 37 of file def_struct.h.
typedef void* Ref |
Definition at line 258 of file def_struct.h.
typedef int(* RefListEnumProc)() |
Definition at line 262 of file def_struct.h.
typedef RefListLinks(* RefListGetLinksProc)() |
Definition at line 261 of file def_struct.h.
typedef struct wl_ListHeader* RefListHeader |
Definition at line 260 of file def_struct.h.
typedef struct wl_ListLinks* RefListLinks |
Definition at line 259 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 27 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 161 of file def_glob.h.
ptr_node module_table |
Definition at line 160 of file def_glob.h.