rephase.h File Reference

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

Include dependency graph for rephase.h:

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

Go to the source code of this file.

Functions
bool	kissat_rephasing (struct kissat *)
void	kissat_rephase (struct kissat *)

Function Documentation

kissat_rephase()

void kissat_rephase

(

struct kissat *

solver

)

Definition at line 128 of file rephase.c.

                                     {
  kissat_backtrack_propagate_and_flush_trail (solver);
  KISSAT_assert (!solver->inconsistent);
  START (rephase);
  INC (rephased);
#ifndef KISSAT_QUIET
  const char type =
#endif
      reset_phases (solver);
  REPORT (0, type);
  STOP (rephase);
}

Here is the call graph for this function:

Here is the caller graph for this function:

kissat_rephasing()

bool kissat_rephasing

(

struct kissat *

solver

)

Definition at line 34 of file rephase.c.

                                       {
  if (!GET_OPTION (rephase))
    return false;
  if (!solver->stable)
    return false;
  return CONFLICTS > solver->limits.rephase.conflicts;
}

Here is the caller graph for this function: