src/analyze.cpp
// Important variables recently used in conflict analysis are 'bumped',
// which means to move them to the front of the VMTF decision queue.  The
// 'bumped' time stamp is updated accordingly.  It is used to determine
// whether the 'queue.assigned' pointer has to be moved in 'unassign'.
Important variables recently used in conflict analysis are 'bumped',
which means to move them to the front of the VMTF decision queue.  The
'bumped' time stamp is updated accordingly.  It is used to determine
whether the 'queue.assigned' pointer has to be moved in 'unassign'.
Important variables recently used in conflict analysis are ' bumped ' which means to move them to the front of the VMTF decision queue . The ' bumped ' time stamp is updated accordingly . It is used to determine whether the ' queue . assigned ' pointer has to be moved in ' unassign ' .
void Internal::bump_variable (int lit) {
  const int idx = vidx (lit);
  Link * l = ltab + idx;
  if (!l->next) return;
  queue.dequeue (ltab, l);
  queue.enqueue (ltab, l);
  btab[idx] = ++stats.bumped;
  LOG ("moved to front %d and bumped %ld", idx, btab[idx]);
  if (!vals[idx]) update_queue_unassigned (idx);
}
void Internal :: bump_variable ( int lit ) { const int idx = vidx ( lit ) ; Link * l = ltab + idx ; if ( ! l -> next ) return ; queue . dequeue ( ltab , l ) ; queue . enqueue ( ltab , l ) ; btab [ idx ] = ++ stats . bumped ; LOG ( " " , idx , btab [ idx ] ) ; if ( ! vals [ idx ] ) update_queue_unassigned ( idx ) ; }
Important variables recently used in conflict analysis are 'bumped',
which means to move them to the front of the VMTF decision queue.
Important variables recently used in conflict analysis are ' bumped ' which means to move them to the front of the VMTF decision queue .