definition_extractor Struct Reference

Collaboration diagram for definition_extractor:

Public Attributes
unsigned	lit
kissat *	solver
watches *	watches [2]

Detailed Description

Definition at line 12 of file definition.c.

Member Data Documentation

lit

unsigned definition_extractor::lit

Definition at line 13 of file definition.c.

solver

kissat* definition_extractor::solver

Definition at line 14 of file definition.c.

watches

watches* definition_extractor::watches[2]

Definition at line 15 of file definition.c.

---

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

• src/sat/kissat/definition.c