Public Attributes
struct index_t *	next

struct index_t *	prev

UInt	nels

UInt	arity

PredEntry *	ap

CELL	bmap

int	is_key

int	is_udi

UInt	ncollisions

UInt	max_col_count

UInt	ntrys

UInt	nentries

UInt	hsize

BITS32 *	key

CELL *	cls

CELL *	bcls

BITS32 *	links

size_t	size

yamop *	code

BITS32 *	udi_data

void *	udi_first

void *	udi_next

UInt	udi_free_args

UInt	udi_arg

Detailed Description

Definition at line 170 of file clause.h.

Member Data Documentation

◆ ap

PredEntry* ap

Definition at line 174 of file clause.h.

◆ arity

UInt arity

Definition at line 173 of file clause.h.

◆ bcls

CELL * bcls

Definition at line 184 of file clause.h.

◆ bmap

CELL bmap

Definition at line 175 of file clause.h.

◆ cls

CELL* cls

Definition at line 184 of file clause.h.

◆ code

yamop* code

Definition at line 187 of file clause.h.

◆ hsize

UInt hsize

Definition at line 182 of file clause.h.

◆ is_key

int is_key

Definition at line 176 of file clause.h.

◆ is_udi

int is_udi

Definition at line 177 of file clause.h.

◆ key

BITS32* key

Definition at line 183 of file clause.h.

◆ links

BITS32* links

Definition at line 185 of file clause.h.

◆ max_col_count

UInt max_col_count

Definition at line 179 of file clause.h.

◆ ncollisions

UInt ncollisions

Definition at line 178 of file clause.h.

◆ nels

UInt nels

Definition at line 172 of file clause.h.

◆ nentries

UInt nentries

Definition at line 181 of file clause.h.

◆ next

struct index_t* next

Definition at line 171 of file clause.h.

◆ ntrys

UInt ntrys

Definition at line 180 of file clause.h.

◆ prev

struct index_t * prev

Definition at line 171 of file clause.h.

◆ size

size_t size

Definition at line 186 of file clause.h.

◆ udi_arg

UInt udi_arg

Definition at line 191 of file clause.h.

◆ udi_data

BITS32* udi_data

Definition at line 188 of file clause.h.

◆ udi_first

void* udi_first

Definition at line 189 of file clause.h.

◆ udi_free_args

UInt udi_free_args

Definition at line 190 of file clause.h.

◆ udi_next

void * udi_next