Clasp::Solver::DecisionLevels Struct Reference

Inheritance diagram for Clasp::Solver::DecisionLevels:

List of all members.

Public Member Functions
	DecisionLevels ()
Public Attributes
uint32	backtrack
uint32	root

---

Detailed Description

Definition at line 798 of file solver.h.

---

Constructor & Destructor Documentation

Clasp::Solver::DecisionLevels::DecisionLevels

(

)

[inline]

Definition at line 799 of file solver.h.

---

Member Data Documentation

uint32 Clasp::Solver::DecisionLevels::backtrack

Definition at line 801 of file solver.h.

uint32 Clasp::Solver::DecisionLevels::root

Definition at line 800 of file solver.h.

---

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

• solver.h