Clasp::Activity Struct Reference

Type storing a constraint's activity. More...

#include <constraint.h>

List of all members.

Public Types
enum	{ LBD_SHIFT = 7, MAX_LBD = (1 << LBD_SHIFT)-1, MAX_ACT = (1 << (32-LBD_SHIFT))-1 }
Public Member Functions
	Activity (uint32 act, uint32 lbd)
uint32	activity () const
void	bumpAct ()
uint32	lbd () const
void	setLbd (uint32 x)
Public Attributes
uint32	rep

---

Detailed Description

Type storing a constraint's activity.

Definition at line 67 of file constraint.h.

---

Member Enumeration Documentation

anonymous enum

Enumerator:

LBD_SHIFT
MAX_LBD
MAX_ACT

Definition at line 68 of file constraint.h.

---

Constructor & Destructor Documentation

Clasp::Activity::Activity	(	uint32	act,
		uint32	lbd
	)		[inline]

Definition at line 69 of file constraint.h.

---

Member Function Documentation

uint32 Clasp::Activity::activity

(

)

const [inline]

Definition at line 70 of file constraint.h.

void Clasp::Activity::bumpAct

(

)

[inline]

Definition at line 72 of file constraint.h.

uint32 Clasp::Activity::lbd

(

)

const [inline]

Definition at line 71 of file constraint.h.

void Clasp::Activity::setLbd

(

uint32

x

)

[inline]

Definition at line 73 of file constraint.h.

---

Member Data Documentation

uint32 Clasp::Activity::rep

Definition at line 74 of file constraint.h.

---

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

• constraint.h