propbeyond.h File Reference

#include "global.h"

Include dependency graph for propbeyond.h:

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

Go to the source code of this file.

Functions
void	kissat_propagate_beyond_conflicts (struct kissat *)

Function Documentation

kissat_propagate_beyond_conflicts()

void kissat_propagate_beyond_conflicts

(

struct kissat *

solver

)

Definition at line 36 of file propbeyond.c.

                                                        {
  KISSAT_assert (!solver->probing);
  KISSAT_assert (solver->watching);
  KISSAT_assert (solver->warming);
  KISSAT_assert (!solver->inconsistent);
 
  START (propagate);
 
  solver->ticks = 0;
  const unsigned *saved_propagate = solver->propagate;
  propagate_literals_beyond_conflicts (solver);
  update_beyond_propagation_statistics (solver, saved_propagate);
 
  STOP (propagate);
}

Here is the caller graph for this function: