litwatch Struct Reference

#include <watch.h>

Collaboration diagram for litwatch:

Public Attributes
unsigned	lit
watch	watch

Detailed Description

Definition at line 59 of file watch.h.

Member Data Documentation

lit

unsigned litwatch::lit

Definition at line 60 of file watch.h.

watch

watch litwatch::watch

Definition at line 61 of file watch.h.

---

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

• src/sat/kissat/watch.h