Clasp::Activity Struct Reference

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

#include <constraint.h>

Collaboration diagram for Clasp::Activity:

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
uint32	lbd () const
void	bumpAct ()
void	setLbd (uint32 x)

Public Attributes
uint32	rep

Detailed Description

Type storing a constraint's activity.

Member Enumeration Documentation

anonymous enum

Enumerator
LBD_SHIFT
MAX_LBD
MAX_ACT

Constructor & Destructor Documentation

Clasp::Activity::Activity ( uint32  act, uint32  lbd  )

inline

Member Function Documentation

uint32 Clasp::Activity::activity ( ) const

inline

void Clasp::Activity::bumpAct ( )

inline

uint32 Clasp::Activity::lbd ( ) const

inline

void Clasp::Activity::setLbd ( uint32  x )

inline

Member Data Documentation

uint32 Clasp::Activity::rep

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/constraint.h