sort.c File Reference

#include "internal.h"
#include "logging.h"

Include dependency graph for sort.c:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	kissat_sort_literals (kissat *solver, unsigned size, unsigned *lits)

Function Documentation

kissat_sort_literals()

void kissat_sort_literals	(	kissat *	solver,
		unsigned	size,
		unsigned *	lits )

Definition at line 85 of file sort.c.

                                                         {
#ifndef INLINE_SORT
  const value *const values = solver->values;
  const assigned *const assigned = solver->assigned;
#endif
  value u = move_smallest_literal_to_front (solver, values, assigned, false,
                                            0, size, lits);
  if (size > 2)
    move_smallest_literal_to_front (solver, values, assigned, (u >= 0), 1,
                                    size, lits);
}

Here is the caller graph for this function: