typedefs and structures More...

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

Typedefs
typedef long	type_ptr
	Used to identify the object on the undo_stack. More...

typedef void *	PsiTerm
	Type for psi-terms, hidden from users. More...

typedef unsigned long *	GENERIC
	unsigned long *GENERIC More...

typedef int	operator
	int - formerly enum More...

typedef long	goals
	int - formerly enum More...

typedef char	string [STRLEN]

typedef struct wl_operator_data *	ptr_operator_data

typedef struct wl_int_list *	ptr_int_list

typedef struct wl_resid_list *	ptr_resid_list

typedef struct wl_definition *	ptr_definition

typedef struct wl_definition *	def_type

typedef struct wl_residuation *	ptr_residuation

typedef struct wl_psi_term *	ptr_psi_term
	quotedStackCopy More...

typedef struct wl_node *	ptr_node

typedef struct wl_pair_list *	ptr_pair_list

typedef struct wl_triple_list *	ptr_triple_list

typedef struct wl_list *	ptr_list

typedef struct wl_stack *	ptr_stack

typedef struct wl_goal *	ptr_goal

typedef struct wl_choice_point *	ptr_choice_point

typedef struct wl_operator_data	operator_data

typedef struct wl_int_list	int_list
	List of integers or pointers. More...

typedef struct wl_resid_list	resid_list
	List of residuation variables 21.9. More...

typedef struct wl_hash_table *	ptr_hash_table

typedef struct wl_module *	ptr_module

typedef struct wl_keyword *	ptr_keyword

typedef struct wl_definition	definition

typedef struct wl_residuation	residuation

typedef struct wl_psi_term	psi_term

typedef struct wl_node	node

typedef struct wl_pair_list	pair_list

typedef struct wl_triple_list	triple_list

typedef struct wl_stack	stack

typedef struct wl_goal	goal

typedef struct wl_choice_point	choice_point

typedef struct wl_resid_block *	ptr_resid_block

typedef struct wl_resid_block	resid_block

typedef void *	Ref

typedef struct wl_ListLinks *	RefListLinks

typedef struct wl_ListHeader *	RefListHeader

typedef RefListLinks(*	RefListGetLinksProc )()

typedef int(*	RefListEnumProc )()

typedef struct wl_ListHeader	ListHeader

typedef struct wl_ListLinks	ListLinks

typedef struct wl_tab_brk *	ptr_tab_brk

typedef struct wl_item *	ptr_item

typedef struct wl_tab_brk	tab_brk

typedef struct wl_item	item

typedef struct wl_parse_block	parse_block

typedef struct wl_parse_block *	ptr_parse_block

Detailed Description

typedefs and structures

Definition in file def_struct.h.

Macro Definition Documentation

#define TEXTBUFSIZE 5000

Definition at line 396 of file def_struct.h.

Typedef Documentation

typedef struct wl_choice_point choice_point

typedef struct wl_definition* def_type

Definition at line 60 of file def_struct.h.

typedef struct wl_definition definition

GENERIC

unsigned long *GENERIC

GENERIC is the type of a pointer to any type. This might not work on some machines, but it should be possible as MALLOC() uses something of/ that kind. ANSI uses "void *" instead.

Definition at line 35 of file def_struct.h.

typedef struct wl_goal goal

goals

int - formerly enum

Definition at line 49 of file def_struct.h.

int_list

List of integers or pointers.

typedef struct wl_item item

typedef struct wl_ListHeader ListHeader

typedef struct wl_ListLinks ListLinks

typedef struct wl_node node

operator