#ifndef _gates_h_INCLUDED
#define _gates_h_INCLUDED

#include <stdlib.h>
#include "kissat_bool.h"

struct kissat;
struct clause;

bool kissat_find_gates (struct kissat *, unsigned lit);
void kissat_get_antecedents (struct kissat *, unsigned lit);

size_t kissat_mark_binaries (struct kissat *, unsigned lit);
void kissat_unmark_binaries (struct kissat *, unsigned lit);

#ifdef NMETRICS
#define GATE_ELIMINATED(...) true
#else
#define GATE_ELIMINATED(NAME) (&solver->statistics.NAME ## _eliminated)
#endif

#endif
