inlineframes.h

Go to the documentation of this file.

#ifndef _inlineframes_h_INCLUDEDd
#define _inlineframes_h_INCLUDEDd
 
#include "allocate.h"
#include "internal.h"
 
#include "global.h"
ABC_NAMESPACE_HEADER_START
 
static inline void kissat_push_frame (kissat *solver, unsigned decision) {
  KISSAT_assert (!solver->level || decision != UINT_MAX);
  const size_t trail = SIZE_ARRAY (solver->trail);
  frame frame;
  frame.decision = decision;
  frame.promote = false;
  frame.trail = trail;
  frame.used = 0;
  PUSH_STACK (solver->frames, frame);
}
 
ABC_NAMESPACE_HEADER_END
 
#endif