phases.c File Reference

#include "allocate.h"
#include "internal.h"
#include "logging.h"
#include <string.h>

Include dependency graph for phases.c:

Go to the source code of this file.

Macros
#define	realloc_phases(NAME)
#define	increase_phases(NAME)
#define	release_phases(NAME, SIZE)

Functions
void	kissat_increase_phases (kissat *solver, unsigned new_size)
void	kissat_decrease_phases (kissat *solver, unsigned new_size)
void	kissat_release_phases (kissat *solver)
void	kissat_save_best_phases (kissat *solver)
void	kissat_save_target_phases (kissat *solver)

Macro Definition Documentation

increase_phases

#define increase_phases

(

NAME

)

Value:

  do { \
    KISSAT_assert (old_size < new_size); \
    realloc_phases (NAME); \
    memset (solver->phases.NAME + old_size, 0, new_size - old_size); \
  } while (0)

Definition at line 15 of file phases.c.

#define increase_phases(NAME) \
  do { \
    KISSAT_assert (old_size < new_size); \
    realloc_phases (NAME); \
    memset (solver->phases.NAME + old_size, 0, new_size - old_size); \
  } while (0)

realloc_phases

#define realloc_phases

(

NAME

)

Value:

  do { \
    solver->phases.NAME = \
      (value*) kissat_realloc (solver, solver->phases.NAME, old_size, new_size); \
  } while (0)

Definition at line 9 of file phases.c.

#define realloc_phases(NAME) \
  do { \
    solver->phases.NAME = \
      (value*) kissat_realloc (solver, solver->phases.NAME, old_size, new_size); \
  } while (0)

release_phases

#define release_phases	(		NAME,
			SIZE )

Value:

  kissat_free (solver, solver->phases.NAME, SIZE)

Definition at line 40 of file phases.c.

#define release_phases(NAME, SIZE) \
  kissat_free (solver, solver->phases.NAME, SIZE)

Function Documentation

kissat_decrease_phases()

void kissat_decrease_phases	(	kissat *	solver,
		unsigned	new_size )

Definition at line 31 of file phases.c.

                                                                {
  const unsigned old_size = solver->size;
  KISSAT_assert (old_size > new_size);
  LOG ("decreasing phases from %u to %u", old_size, new_size);
  realloc_phases (best);
  realloc_phases (saved);
  realloc_phases (target);
}

Here is the caller graph for this function:

kissat_increase_phases()

void kissat_increase_phases	(	kissat *	solver,
		unsigned	new_size )

Definition at line 22 of file phases.c.

                                                                {
  const unsigned old_size = solver->size;
  KISSAT_assert (old_size < new_size);
  LOG ("increasing phases from %u to %u", old_size, new_size);
  increase_phases (best);
  increase_phases (saved);
  increase_phases (target);
}

Here is the caller graph for this function:

kissat_release_phases()

void kissat_release_phases

(

kissat *

solver

)

Definition at line 43 of file phases.c.

                                            {
  const unsigned size = solver->size;
  release_phases (best, size);
  release_phases (saved, size);
  release_phases (target, size);
}

Here is the caller graph for this function:

kissat_save_best_phases()

void kissat_save_best_phases

(

kissat *

solver

)

Definition at line 60 of file phases.c.

                                              {
  KISSAT_assert (sizeof (value) == 1);
  LOG ("saving %u best values", VARS);
  save_phases (solver, solver->phases.best);
}

kissat_save_target_phases()

void kissat_save_target_phases

(

kissat *

solver

)

Definition at line 66 of file phases.c.

                                                {
  KISSAT_assert (sizeof (value) == 1);
  LOG ("saving %u target values", VARS);
  save_phases (solver, solver->phases.target);
}