bineg_xsb_i.h File Reference

#include "debugs/debug_delay.h"

Functions
	if (has_no_answers(sf)&&(is_completed(sf)||neg_delay==FALSE)) return TRUE
	if (has_unconditional_answers(sf)) return FALSE
	if (is_conditional_answer(as_leaf))
Variables
case	SLG_NOT
VariantSF	sf = ptoc_addr(regSF)
	break
case	GET_DELAY_LISTS
DE	de
BTNptr	as_leaf = (NODEptr) ptoc_int(CTXTc 1)
Cell	delay_lists = ptoc_tag(CTXTc 2)
CPtr	dls_head
CPtr	dls_tail = NULL

---

Function Documentation

if (  is_conditional_answer(as_leaf)   )

if (  has_unconditional_answers(sf)   )

if (  has_no_answers(sf)&&(is_completed(sf)||neg_delay==FALSE)   )

---

Variable Documentation

as_leaf = (NODEptr) ptoc_int(CTXTc 1)

break

DE de

delay_lists = ptoc_tag(CTXTc 2)

CPtr dls_head

CPtr dls_tail = NULL

case GET_DELAY_LISTS

sf = ptoc_addr(regSF)

case SLG_NOT

---