Clasp::UncoreMinimize::Core Struct Reference

List of all members.

Public Member Functions
Literal	at (uint32 i) const
	Core (WeightConstraint *c, weight_t b, weight_t w)
uint32	size () const
Literal	tag () const
Public Attributes
weight_t	bound
WeightConstraint *	con
weight_t	weight

---

Detailed Description

Definition at line 452 of file minimize_constraint.h.

---

Constructor & Destructor Documentation

Clasp::UncoreMinimize::Core::Core	(	WeightConstraint *	c,
		weight_t	b,
		weight_t	w
	)		[inline]

Definition at line 453 of file minimize_constraint.h.

---

Member Function Documentation

Literal Clasp::UncoreMinimize::Core::at

(

uint32

i

)

const

Definition at line 1355 of file minimize_constraint.cpp.

uint32 Clasp::UncoreMinimize::Core::size

(

)

const

Definition at line 1354 of file minimize_constraint.cpp.

Literal Clasp::UncoreMinimize::Core::tag

(

)

const

Definition at line 1356 of file minimize_constraint.cpp.

---

Member Data Documentation

weight_t Clasp::UncoreMinimize::Core::bound

Definition at line 458 of file minimize_constraint.h.

WeightConstraint* Clasp::UncoreMinimize::Core::con

Definition at line 457 of file minimize_constraint.h.

weight_t Clasp::UncoreMinimize::Core::weight

Definition at line 459 of file minimize_constraint.h.

---

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

• minimize_constraint.h
• minimize_constraint.cpp