phases Struct Reference

#include <phases.h>

Public Attributes
value *	best
value *	saved
value *	target

Detailed Description

Definition at line 11 of file phases.h.

Member Data Documentation

best

value* phases::best

Definition at line 12 of file phases.h.

saved

value* phases::saved

Definition at line 13 of file phases.h.

target

value* phases::target

Definition at line 14 of file phases.h.

---

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

• src/sat/kissat/phases.h