schedrev_xsb_i.h File Reference

Defines
#define	ScheduleConsumer(Consumer, First, Last)
#define	ANSWER_TEMPLATE   nlcp_template(consumer_cpf)
Functions
static CPtr	sched_answers (CTXTdeclc VariantSF producer_sf, CPtr *last_consumer)
static CPtr	find_fixpoint (CTXTdeclc CPtr leader_csf, CPtr producer_cpf)

---

Define Documentation

#define ANSWER_TEMPLATE   nlcp_template(consumer_cpf)

#define ScheduleConsumer (  Consumer, First, Last   )

Value: { \ if ( IsNonNULL(Last) ) \ nlcp_prevbreg(Last) = Consumer; \ else /* record first consumer to backtrack to */ \ First = Consumer; \ Last = Consumer; \ }

---

Function Documentation

static CPtr find_fixpoint (  CTXTdeclc CPtr  leader_csf, CPtr  producer_cpf )  [static]

static CPtr sched_answers (  CTXTdeclc VariantSF  producer_sf, CPtr *  last_consumer )  [static]

---