Minisat::Solver::ShrinkStackElem Struct Reference

#include <Solver.h>

Collaboration diagram for Minisat::Solver::ShrinkStackElem:

Public Member Functions
	ShrinkStackElem (uint32_t _i, Lit _l)

Data Fields
uint32_t	i
Lit	l

Detailed Description

Definition at line 182 of file Solver.h.

Constructor & Destructor Documentation

Minisat::Solver::ShrinkStackElem::ShrinkStackElem ( uint32_t  _i, Lit  _l  )

inline

Definition at line 185 of file Solver.h.

: i(_i), l(_l){}

Field Documentation

uint32_t Minisat::Solver::ShrinkStackElem::i

Definition at line 183 of file Solver.h.

Lit Minisat::Solver::ShrinkStackElem::l

Definition at line 184 of file Solver.h.

---

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

• Solver.h