start of top macro More...

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_t *	stt = &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_