def_struct.h File Reference

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

Typedefs
typedef void *	PsiTerm
typedef unsigned long *	GENERIC
typedef int	operator
typedef long	goals
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
typedef struct wl_resid_list	resid_list
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

Variables
ptr_node	module_table
ptr_module	current_module

Detailed Description

structures

Definition in file def_struct.h.

Macro Definition Documentation

#define TEXTBUFSIZE   5000

Definition at line 401 of file def_struct.h.

Typedef Documentation

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 struct wl_goal goal

typedef long goals

Definition at line 26 of file def_struct.h.

typedef struct wl_int_list int_list

typedef struct wl_item item

typedef struct wl_ListHeader ListHeader

typedef struct wl_ListLinks ListLinks

typedef struct wl_node node

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.

typedef struct wl_goal* ptr_goal

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.

typedef struct wl_item* ptr_item

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.

typedef struct wl_node* ptr_node

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.

ptr_psi_term

quotedStackCopy

Parameters

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.

typedef struct wl_stack* ptr_stack

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 struct wl_stack stack

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

Variable Documentation

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.