unify_xsb.h File Reference

Defines
#define	IFTHEN_SUCCEED   XSB_Next_Instr()
#define	IFTHEN_FAILED   Fail1 ; XSB_Next_Instr();
#define	COND1   (CPtr)(op1) < hreg || (CPtr)(op1) < hfreg
#define	COND2   (CPtr)(op2) < hreg || (CPtr)(op2) < hfreg
#define	attv_dbgmsg(String)   xsb_dbgmsg((LOG_ATTV,String))
#define	unify_xsb(loc)

---

Define Documentation

#define attv_dbgmsg (  String   )     xsb_dbgmsg((LOG_ATTV,String))

#define COND1   (CPtr)(op1) < hreg || (CPtr)(op1) < hfreg

#define COND2   (CPtr)(op2) < hreg || (CPtr)(op2) < hfreg

#define IFTHEN_FAILED   Fail1 ; XSB_Next_Instr();

#define IFTHEN_SUCCEED   XSB_Next_Instr()

#define unify_xsb (  loc   )

---