YAP 7.1.0
Public Attributes | List of all members
intermediates

Public Attributes

char * freep
 
char * freep0
 
struct mem_blk * blks
 
char * blk_cur
 
char * blk_top
 
struct PSEUDO * cpc
 
struct PSEUDO * CodeStart
 
struct PSEUDO * icpc
 
struct PSEUDO * BlobsStart
 
struct dbterm_list * dbterml
 
Int * label_offset
 
Int * uses
 
Term * contents
 
struct pred_entry * CurrentPred
 
sigjmp_buf CompilerBotch
 
yamop * code_addr
 
yamop * expand_block
 
UInt i_labelno
 
UInt exception_handler
 
UInt success_handler
 
UInt failure_handler
 
yamop ** current_try_lab
 
yamop ** current_trust_lab
 
yamop * try_instructions
 
struct StructClauseDef * cls
 
int clause_has_cut
 
UInt term_depth
 
UInt last_index_at_depth
 
UInt last_index_new_depth
 
UInt last_depth_size
 
union {
   struct static_index *   si
 
   struct logic_upd_index *   lui
 
} current_cl
 

Detailed Description

Definition at line 285 of file YapCompile.h.

Member Data Documentation

◆ blk_cur

char* blk_cur

Definition at line 289 of file YapCompile.h.

◆ blk_top

char * blk_top

Definition at line 289 of file YapCompile.h.

◆ blks

struct mem_blk* blks

Definition at line 288 of file YapCompile.h.

◆ BlobsStart

struct PSEUDO* BlobsStart

Definition at line 293 of file YapCompile.h.

◆ clause_has_cut

int clause_has_cut

Definition at line 308 of file YapCompile.h.

◆ cls

struct StructClauseDef* cls

Definition at line 307 of file YapCompile.h.

◆ code_addr

yamop* code_addr

Definition at line 300 of file YapCompile.h.

◆ CodeStart

struct PSEUDO* CodeStart

Definition at line 291 of file YapCompile.h.

◆ CompilerBotch

sigjmp_buf CompilerBotch

Definition at line 299 of file YapCompile.h.

◆ contents

Term* contents

Definition at line 297 of file YapCompile.h.

◆ cpc

struct PSEUDO* cpc

Definition at line 290 of file YapCompile.h.

◆ current_trust_lab

yamop ** current_trust_lab

Definition at line 305 of file YapCompile.h.

◆ current_try_lab

yamop** current_try_lab

Definition at line 305 of file YapCompile.h.

◆ CurrentPred

struct pred_entry* CurrentPred

Definition at line 298 of file YapCompile.h.

◆ dbterml

struct dbterm_list* dbterml

Definition at line 294 of file YapCompile.h.

◆ exception_handler

UInt exception_handler

Definition at line 303 of file YapCompile.h.

◆ expand_block

yamop* expand_block

Definition at line 301 of file YapCompile.h.

◆ failure_handler

UInt failure_handler

Definition at line 303 of file YapCompile.h.

◆ freep

char* freep

Definition at line 286 of file YapCompile.h.

◆ freep0

char* freep0

Definition at line 287 of file YapCompile.h.

◆ i_labelno

UInt i_labelno

Definition at line 302 of file YapCompile.h.

◆ icpc

struct PSEUDO* icpc

Definition at line 292 of file YapCompile.h.

◆ label_offset

Int* label_offset

Definition at line 295 of file YapCompile.h.

◆ last_depth_size

UInt last_depth_size

Definition at line 310 of file YapCompile.h.

◆ last_index_at_depth

UInt last_index_at_depth

Definition at line 309 of file YapCompile.h.

◆ last_index_new_depth

UInt last_index_new_depth

Definition at line 310 of file YapCompile.h.

◆ lui

struct logic_upd_index* lui

Definition at line 314 of file YapCompile.h.

◆ si

struct static_index* si

Definition at line 313 of file YapCompile.h.

◆ success_handler

UInt success_handler

Definition at line 303 of file YapCompile.h.

◆ term_depth

UInt term_depth

Definition at line 309 of file YapCompile.h.

◆ try_instructions

yamop* try_instructions

Definition at line 306 of file YapCompile.h.

◆ uses

Int* uses

Definition at line 296 of file YapCompile.h.

The documentation for this struct was generated from the following file: