forward.h File Reference

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

Include dependency graph for forward.h:

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

Go to the source code of this file.

Functions
bool	kissat_forward_subsume_during_elimination (struct kissat *)

Function Documentation

kissat_forward_subsume_during_elimination()

bool kissat_forward_subsume_during_elimination

(

struct kissat *

solver

)

Definition at line 680 of file forward.c.

                                                                {
  START (subsume);
  START (forward);
  KISSAT_assert (GET_OPTION (forward));
  INC (forward_subsumptions);
  KISSAT_assert (!solver->watching);
  remove_all_duplicated_binary_clauses (solver);
  bool complete = true;
  if (!solver->inconsistent)
    complete = forward_subsume_all_clauses (solver);
  STOP (forward);
  STOP (subsume);
  return complete;
}