YAP 7.1.0
term_visit.h File Reference

start of top macro More...

Go to the source code of this file.

Functions

 init_stack (stt)
 
 Yap_CloseHandles (y0)
 
 mderef_head (d0, dd0, var_in_term_unk)
 
 if (IS_VISIT_MARKER(ptd1[0])) goto loop
 
 push_sub_term (stt, d1, ptd1, pt0, pt0_end)
 
else if (IsApplTerm(d0))
 
 mderef_body (d0, dd0, ptd0, var_in_term_unk, var_in_term_nvar)
 
 while (stt->err !=YAP_NO_ERROR)
 

Variables

DEB_DOOBIN * pt0_
 
CELL * pt0 =&t-1
 
CELL * pt0_end =&t
 
Ystack_t stt_
 
Ystack_tstt = &stt_
 
 do
 
 RESET_TERM_VISITOR
 
loop __pad0__
 
CELL d0
 
CELL dd0 = (*ptd0)
 
CELL * ptd0 = pt0
 
var_in_term_nvar __pad1__
 
CELL d1 = VISIT_UNMARK(ptd1[0])
 
goto loop
 
 else
 

Detailed Description

start of top macro

Definition in file term_visit.h.

Function Documentation

◆ if()

else if ( IsApplTerm(d0)   )

Definition at line 45 of file term_visit.h.

Variable Documentation

◆ __pad0__

loop __pad0__

Definition at line 17 of file term_visit.h.

◆ __pad1__

var_in_term_nvar __pad1__

Definition at line 30 of file term_visit.h.

◆ d0

CELL d0

Definition at line 24 of file term_visit.h.

◆ d1

CELL d1 = VISIT_UNMARK(ptd1[0])

Definition at line 38 of file term_visit.h.

◆ dd0

dd0 = (*ptd0)

Definition at line 24 of file term_visit.h.

◆ do

do
Initial value:
{
yhandle_t y0 = Yap_StartHandles()

Definition at line 12 of file term_visit.h.

◆ else

else
Initial value:
{
goto loop

Definition at line 73 of file term_visit.h.

◆ loop

goto loop

Definition at line 44 of file term_visit.h.

◆ pt0

pt0 =&t-1

Definition at line 6 of file term_visit.h.

◆ pt0_

DEB_DOOBIN* pt0_

Definition at line 5 of file term_visit.h.

◆ pt0_end

loop & pt0_end =&t

Definition at line 6 of file term_visit.h.

◆ ptd0

ptd0 = pt0

Definition at line 25 of file term_visit.h.

◆ RESET_TERM_VISITOR

RESET_TERM_VISITOR

Definition at line 14 of file term_visit.h.

◆ stt

Ystack_t * stt = &stt_

Definition at line 8 of file term_visit.h.

◆ stt_

Ystack_t stt_

Definition at line 8 of file term_visit.h.