Clasp::Solver::DLevel Struct Reference

List of all members.

Public Member Functions
	DLevel (uint32 pos=0, ConstraintDB *u=0)
Public Attributes
uint32	freeze: 1
uint32	marked: 1
uint32	trailPos: 30
ConstraintDB *	undo

---

Detailed Description

Definition at line 787 of file solver.h.

---

Constructor & Destructor Documentation

Clasp::Solver::DLevel::DLevel	(	uint32	pos = 0,
		ConstraintDB *	u = 0
	)		[inline, explicit]

Definition at line 788 of file solver.h.

---

Member Data Documentation

uint32 Clasp::Solver::DLevel::freeze

Definition at line 795 of file solver.h.

uint32 Clasp::Solver::DLevel::marked

Definition at line 794 of file solver.h.

uint32 Clasp::Solver::DLevel::trailPos

Definition at line 793 of file solver.h.

ConstraintDB* Clasp::Solver::DLevel::undo

Definition at line 796 of file solver.h.

---

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

• solver.h