propinitially.h File Reference

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

Include dependency graph for propinitially.h:

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

Go to the source code of this file.

Functions
bool	kissat_initially_propagate (struct kissat *)

Function Documentation

kissat_initially_propagate()

bool kissat_initially_propagate

(

struct kissat *

solver

)

Definition at line 36 of file propinitially.c.

                                                 {
  KISSAT_assert (!solver->probing);
  KISSAT_assert (solver->watching);
  KISSAT_assert (!solver->inconsistent);
 
  START (propagate);
 
  solver->ticks = 0;
  const unsigned *saved_propagate = solver->propagate;
  clause *conflict = initially_propagate (solver);
  update_initial_propagation_statistics (solver, saved_propagate);
  kissat_update_conflicts_and_trail (solver, conflict, true);
  if (conflict) {
    int res = kissat_analyze (solver, conflict);
    KISSAT_assert (solver->inconsistent);
    KISSAT_assert (res == 20);
    (void) res;
  }
 
  STOP (propagate);
 
  return !conflict;
}

Here is the call graph for this function:

Here is the caller graph for this function: