C: » dev » sandbox » xsb_release » XSB » emu

complete_xsb_i.h File Reference

#include "debugs/debug_delay.h"

Defines

#define FailIfAnswersFound(func)
#define check_fixpoint(sg, b)   find_fixpoint(CTXTc sg, b)
#define find_leader(cs_ptr)
#define FailIfAnswersFound(func)
#define check_fixpoint(sg, b)   find_fixpoint(CTXTc sg, b)
#define find_leader(cs_ptr)

Functions

 XSB_Start_Instr (check_complete, _check_complete) CPtr cs_ptr
 switch_envs (breg)
 if ((prev_compl_frame(cs_ptr) >=COMPLSTACKBOTTOM||is_leader(cs_ptr)))
 FailIfAnswersFound (sched_answers(CTXTc subgoal, NULL))
 if (leader)

Variables

CPtr orig_breg = breg
xsbBool leader = FALSE
VariantSF subgoal = (VariantSF) tcp_subgoal_ptr(breg)
 ptcpreg = tcp_ptcp(breg)
 delayreg = tcp_pdreg(breg)
 cs_ptr = subg_compl_stack_ptr(subgoal)

Define Documentation

#define check_fixpoint (  sg,
b   )     find_fixpoint(CTXTc sg, b)
 

#define check_fixpoint (  sg,
b   )     find_fixpoint(CTXTc sg, b)
 

#define FailIfAnswersFound (  func   ) 
 

Value:

{ \
  CPtr tmp_breg; \
  if ((tmp_breg = func)) { \
    breg = tmp_breg; \
    Fail1; \
    XSB_Next_Instr(); \
  } \
}

#define FailIfAnswersFound (  func   ) 
 

Value:

{ \
  CPtr tmp_breg; \
  if ((tmp_breg = func)) { \
    breg = tmp_breg; \
    Fail1; \
    XSB_Next_Instr(); \
  } \
}

#define find_leader (  cs_ptr   ) 
 

Value:

while (!(prev_compl_frame(cs_ptr) >= COMPLSTACKBOTTOM                   \
           || is_leader(cs_ptr))) {                                     \
    cs_ptr = prev_compl_frame(cs_ptr);                                  \
      }

#define find_leader (  cs_ptr   ) 
 

Value:

while (!(prev_compl_frame(cs_ptr) >= COMPLSTACKBOTTOM                   \
           || is_leader(cs_ptr))) {                                     \
    cs_ptr = prev_compl_frame(cs_ptr);                                  \
      }

Function Documentation

FailIfAnswersFound (  sched_answers(CTXTc subgoal, NULL)   ) 
 

if (  leader   ) 
 

if (  (prev_compl_frame(cs_ptr) >=COMPLSTACKBOTTOM||is_leader(cs_ptr))   ) 
 

switch_envs (  breg   ) 
 

XSB_Start_Instr (  check_complete  ,
_check_complete 
) 
 

Variable Documentation

cs_ptr = subg_compl_stack_ptr(subgoal)
 

delayreg = tcp_pdreg(breg)
 

xsbBool leader = FALSE
 

CPtr orig_breg = breg
 

ptcpreg = tcp_ptcp(breg)
 

subgoal = (VariantSF) tcp_subgoal_ptr(breg)
 

Generated on Wed Jul 26 13:26:53 2006 for XSB by  doxygen 1.4.5