162 ptr_block_definition block_def;
179 unsigned long time_stamp;
226 #include "blockstruct.h"
396 #define TEXTBUFSIZE 5000
struct wl_tab_brk tab_brk
struct wl_node * ptr_node
struct wl_choice_point choice_point
struct wl_resid_block * ptr_resid_block
struct wl_definition * def_type
struct wl_resid_list * ptr_resid_list
struct wl_int_list int_list
List of integers or pointers.
struct wl_operator_data operator_data
struct wl_resid_block resid_block
struct wl_ListHeader ListHeader
ptr_int_list inherited_modules
ptr_definition definition
ptr_hash_table symbol_table
struct wl_tab_brk * ptr_tab_brk
struct wl_psi_term psi_term
struct wl_psi_term * ptr_psi_term
quotedStackCopy
void * PsiTerm
Type for psi-terms, hidden from users.
struct wl_hash_table * ptr_hash_table
struct wl_list * ptr_list
struct wl_resid_list resid_list
List of residuation variables 21.9.
struct wl_module * ptr_module
RefListLinks(* RefListGetLinksProc)()
unsigned long * GENERIC
unsigned long *GENERIC
struct wl_triple_list * ptr_triple_list
long goals
int - formerly enum
struct wl_choice_point * ptr_choice_point
struct wl_goal * ptr_goal
struct wl_ListLinks ListLinks
ptr_psi_term global_value
struct wl_ListLinks * RefListLinks
struct wl_definition * ptr_definition
struct wl_operator_data * ptr_operator_data
struct wl_pair_list * ptr_pair_list
struct wl_ListHeader * RefListHeader
ptr_int_list open_modules
struct wl_parse_block * ptr_parse_block
struct wl_keyword * ptr_keyword
struct wl_parse_block parse_block
struct wl_residuation * ptr_residuation
#define STRLEN
Maximum size of file names and input tokens (which includes input strings) (Note: calculated tokens c...
long type_ptr
Used to identify the object on the undo_stack.
struct wl_definition definition
ptr_triple_list properties
struct wl_triple_list triple_list
struct wl_int_list * ptr_int_list
struct wl_pair_list pair_list
struct text_buffer * next
struct wl_item * ptr_item
struct wl_stack * ptr_stack
ptr_operator_data op_data
struct wl_residuation residuation