Clasp::UncoreMinimize::LitPair Struct Reference

List of all members.

Public Member Functions
	LitPair (Literal p, uint32 dataId)
Public Attributes
uint32	id
Literal	lit

---

Detailed Description

Definition at line 447 of file minimize_constraint.h.

---

Constructor & Destructor Documentation

Clasp::UncoreMinimize::LitPair::LitPair	(	Literal	p,
		uint32	dataId
	)		[inline]

Definition at line 448 of file minimize_constraint.h.

---

Member Data Documentation

uint32 Clasp::UncoreMinimize::LitPair::id

Definition at line 450 of file minimize_constraint.h.

Literal Clasp::UncoreMinimize::LitPair::lit

Definition at line 449 of file minimize_constraint.h.

---

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

• minimize_constraint.h