reorder.h File Reference

#include <stdbool.h>
#include "global.h"

Include dependency graph for reorder.h:

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

Go to the source code of this file.

Functions
bool	kissat_reordering (struct kissat *)
void	kissat_reorder (struct kissat *)

Function Documentation

kissat_reorder()

void kissat_reorder

(

struct kissat *

solver

)

Definition at line 205 of file reorder.c.

                                     {
  START (reorder);
  INC (reordered);
  KISSAT_assert (!solver->level);
  kissat_phase (solver, "reorder", GET (reordered),
                "reorder limit %" PRIu64 " hit a after %" PRIu64
                " conflicts in %s mode ",
                solver->limits.reorder.conflicts, CONFLICTS,
                solver->stable ? "stable" : "focused");
  if (solver->stable)
    reorder_stable (solver);
  else
    reorder_focused (solver);
  kissat_phase (solver, "reorder", GET (reordered),
                "reordered decisions in %s search mode",
                solver->stable ? "stable" : "focused");
  UPDATE_CONFLICT_LIMIT (reorder, reordered, LINEAR, false);
  REPORT (0, 'o');
  STOP (reorder);
}

Here is the caller graph for this function:

kissat_reordering()

bool kissat_reordering

(

struct kissat *

solver

)

Definition at line 16 of file reorder.c.

                                        {
  if (!GET_OPTION (reorder))
    return false;
  if (!solver->stable && GET_OPTION (reorder) < 2)
    return false;
  if (solver->level)
    return false;
  return CONFLICTS >= solver->limits.reorder.conflicts;
}

Here is the caller graph for this function: