cut_c.c

#include "Yap.h"
#include "cut_c.h"
#include <stdio.h>
 
void cut_c_initialize(int wid){
  CACHE_REGS
    Yap_REGS.CUT_C_TOP=(cut_c_str_ptr)REMOTE_LocalBase(wid);
}
 
/*Removes a choice_point from the stack*/
void cut_c_pop(void){
  CACHE_REGS
  cut_c_str_ptr to_delete = NULL;
  if (((CELL *)Yap_REGS.CUT_C_TOP) == ((CELL *)LOCAL_LocalBase))
    {
      return;
    }
  else
    { /* removes the top element
     from the stack */
      to_delete = Yap_REGS.CUT_C_TOP;
      Yap_REGS.CUT_C_TOP = to_delete->before;
      return;
    }
}
 
/*Insert a choice_point in the stack*/
void cut_c_push(cut_c_str_ptr new_top){
  CACHE_REGS
  new_top->before = Yap_REGS.CUT_C_TOP;
  Yap_REGS.CUT_C_TOP=new_top;
  return;
}