Clasp::UncoreMinimize::LitData Struct Reference

List of all members.

Public Member Functions
	LitData (weight_t w, bool as, uint32 c)
Public Attributes
uint32	assume: 1
uint32	coreId: 31
weight_t	weight

---

Detailed Description

Definition at line 441 of file minimize_constraint.h.

---

Constructor & Destructor Documentation

Clasp::UncoreMinimize::LitData::LitData	(	weight_t	w,
		bool	as,
		uint32	c
	)		[inline]

Definition at line 442 of file minimize_constraint.h.

---

Member Data Documentation

uint32 Clasp::UncoreMinimize::LitData::assume

Definition at line 445 of file minimize_constraint.h.

uint32 Clasp::UncoreMinimize::LitData::coreId

Definition at line 444 of file minimize_constraint.h.

weight_t Clasp::UncoreMinimize::LitData::weight

Definition at line 443 of file minimize_constraint.h.

---

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

• minimize_constraint.h