litriple Struct Reference

#include <watch.h>

Public Attributes
unsigned	lits [3]

Detailed Description

Definition at line 68 of file watch.h.

Member Data Documentation

lits

unsigned litriple::lits[3]

Definition at line 69 of file watch.h.

---

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

• src/sat/kissat/watch.h