litpair Struct Reference

#include <watch.h>

Public Attributes
unsigned	lits [2]

Detailed Description

Definition at line 64 of file watch.h.

Member Data Documentation

lits

unsigned litpair::lits[2]

Definition at line 65 of file watch.h.

---

The documentation for this struct was generated from the following file:

• src/sat/kissat/watch.h