sw_envs.h File Reference


Defines

#define PROFILE_SWITCH_ENV
#define PROFILE_SWITCH_ENV_ITER
#define freeze_and_switch_envs(tbreg, CPsize)
#define switch_envs(tbreg)
#define undo_bindings(TBREG)
#define table_undo_bindings(old_trreg)

Define Documentation

#define freeze_and_switch_envs tbreg,
CPsize   ) 
 

Value:

if (bfreg > breg) {                             \
    CPtr local_top;                             \
    bfreg = breg + CPsize;                      \
    if (trfreg < trreg)  trfreg = trreg;        \
    if (hfreg < hreg)  hfreg = hreg;            \
    local_top = top_of_localstk;                \
    if (efreg > local_top) efreg = local_top;   \
  }                                             \
  switch_envs(tbreg)

#define PROFILE_SWITCH_ENV
 

#define PROFILE_SWITCH_ENV_ITER
 

#define switch_envs tbreg   ) 
 

#define table_undo_bindings old_trreg   ) 
 

Value:

{               \
  while (trreg > (CPtr *) old_trreg) {                  \
    untrail2(trreg, (Cell) trail_variable(trreg));      \
    trreg = trail_parent(trreg);                        \
  }                                                     \
}

#define undo_bindings TBREG   ) 
 

Value:

{                       \
   CPtr *old_trreg = cp_trreg(TBREG);           \
   table_undo_bindings(old_trreg);              \
}


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