Clasp::SumQueue Struct Reference

#include <solver_types.h>

List of all members.

Public Member Functions
double	avgCfl () const
double	avgLbd () const
void	destroy ()
void	dynamicRestarts (float x, bool xLbd)
bool	full () const
double	globalAvgCfl () const
double	globalAvgLbd () const
bool	isRestart () const
uint32	maxSize () const
void	resetGlobal ()
void	resetQueue ()
uint32	restart (uint32 maxLBD, float xLim)
void	update (uint32 dl, uint32 lbd)
Static Public Member Functions
static SumQueue *	create (uint32 size)
Public Attributes
uint64	globalSamples
uint64	globalSumCfl
uint64	globalSumLbd
bool	lbd
float	lim
uint32	nRestart
QueueImpl	queue
uint32	samples
uint32	sumCfl
uint32	sumLbd
uint32	upCfl
uint32	upForce
Private Member Functions
SumQueue &	operator= (const SumQueue &)
	SumQueue (uint32 size)
	SumQueue (const SumQueue &)

---

Detailed Description

Definition at line 223 of file solver_types.h.

---

Constructor & Destructor Documentation

Clasp::SumQueue::SumQueue

(

uint32

size

)

[inline, private]

Definition at line 277 of file solver_types.h.

Clasp::SumQueue::SumQueue

(

const SumQueue &

)

[private]

---

Member Function Documentation

double Clasp::SumQueue::avgCfl

(

)

const [inline]

Definition at line 254 of file solver_types.h.

double Clasp::SumQueue::avgLbd

(

)

const [inline]

Definition at line 253 of file solver_types.h.

static SumQueue* Clasp::SumQueue::create

(

uint32

size

)

[inline, static]

Definition at line 224 of file solver_types.h.

void Clasp::SumQueue::destroy

(

)

[inline]

Definition at line 235 of file solver_types.h.

void Clasp::SumQueue::dynamicRestarts	(	float	x,
		bool	xLbd
	)		[inline]

Definition at line 228 of file solver_types.h.

bool Clasp::SumQueue::full

(

)

const [inline]

Definition at line 256 of file solver_types.h.

double Clasp::SumQueue::globalAvgCfl

(

)

const [inline]

Definition at line 258 of file solver_types.h.

double Clasp::SumQueue::globalAvgLbd

(

)

const [inline]

Definition at line 257 of file solver_types.h.

bool Clasp::SumQueue::isRestart

(

)

const [inline]

Definition at line 259 of file solver_types.h.

uint32 Clasp::SumQueue::maxSize

(

)

const [inline]

Definition at line 255 of file solver_types.h.

SumQueue& Clasp::SumQueue::operator=

(

const SumQueue &

)

[private]

void Clasp::SumQueue::resetGlobal

(

)

[inline]

Definition at line 237 of file solver_types.h.

void Clasp::SumQueue::resetQueue

(

)

[inline]

Definition at line 236 of file solver_types.h.

uint32 Clasp::SumQueue::restart	(	uint32	maxLBD,
		float	xLim
	)

Definition at line 139 of file solver_strategies.cpp.

void Clasp::SumQueue::update	(	uint32	dl,
		uint32	lbd
	)		[inline]

Definition at line 238 of file solver_types.h.

---

Member Data Documentation

uint64 Clasp::SumQueue::globalSamples

Samples since last call to resetGlobal().

Definition at line 264 of file solver_types.h.

uint64 Clasp::SumQueue::globalSumCfl

Sum of conflict levels since last call to resetGlobal().

Definition at line 263 of file solver_types.h.

uint64 Clasp::SumQueue::globalSumLbd

Sum of lbds since last call to resetGlobal().

Definition at line 262 of file solver_types.h.

bool Clasp::SumQueue::lbd

Dynamic restarts based on true=lbd or false=confllict level.

Definition at line 273 of file solver_types.h.

float Clasp::SumQueue::lim

LBD/CFL adjustment factor for dynamic restarts (0=disable).

Definition at line 272 of file solver_types.h.

uint32 Clasp::SumQueue::nRestart

Restarts since last update.

Definition at line 271 of file solver_types.h.

QueueImpl Clasp::SumQueue::queue

Definition at line 275 of file solver_types.h.

uint32 Clasp::SumQueue::samples

Number of items in queue.

Definition at line 267 of file solver_types.h.

uint32 Clasp::SumQueue::sumCfl

Sum of conflict levels in queue.

Definition at line 266 of file solver_types.h.

uint32 Clasp::SumQueue::sumLbd

Sum of lbds in queue.

Definition at line 265 of file solver_types.h.

uint32 Clasp::SumQueue::upCfl

Conflicts since last update.

Definition at line 270 of file solver_types.h.

uint32 Clasp::SumQueue::upForce

Number of conflicts before an update is forced.

Definition at line 269 of file solver_types.h.

---

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

• solver_types.h
• solver_strategies.cpp