Clasp::Solver::DBInfo Struct Reference

#include <solver.h>

List of all members.

Public Attributes
uint32	locked
uint32	pinned
uint32	size

---

Detailed Description

Definition at line 481 of file solver.h.

---

Member Data Documentation

uint32 Clasp::Solver::DBInfo::locked

Definition at line 481 of file solver.h.

uint32 Clasp::Solver::DBInfo::pinned

Definition at line 481 of file solver.h.

uint32 Clasp::Solver::DBInfo::size

Definition at line 481 of file solver.h.

---

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

• solver.h