Clasp::ReduceParams Struct Reference

Aggregates parameters for the nogood deletion heuristic used during search. More...

#include <solver_strategies.h>

List of all members.

Public Member Functions
uint32	cflInit (const SharedContext &ctx) const
void	disable ()
float	fReduce () const
float	fRestart () const
uint32	getBase (const SharedContext &ctx) const
uint32	prepare (bool withLookback)
	ReduceParams ()
Range32	sizeInit (const SharedContext &ctx) const
Static Public Member Functions
static uint32	getLimit (uint32 base, double f, const Range< uint32 > &r)
Public Attributes
ScheduleStrategy	cflSched
float	fGrow
float	fInit
float	fMax
ScheduleStrategy	growSched
Range32	initRange
uint32	maxRange
uint32	memMax
ReduceStrategy	strategy

---

Detailed Description

Aggregates parameters for the nogood deletion heuristic used during search.

S:delCond {yes,no} no:del {0}[0] no:del | delCond in {no} deletion | delCond in {yes} del-* | delCond in {yes} {delCond=yes, del-grow=no, del-cfl=no}

Definition at line 273 of file solver_strategies.h.

---

Constructor & Destructor Documentation

Clasp::ReduceParams::ReduceParams

(

)

[inline]

Definition at line 274 of file solver_strategies.h.

---

Member Function Documentation

uint32 Clasp::ReduceParams::cflInit

(

const SharedContext &

ctx

)

const

Definition at line 196 of file solver_strategies.cpp.

void Clasp::ReduceParams::disable

(

)

Definition at line 178 of file solver_strategies.cpp.

float Clasp::ReduceParams::fReduce

(

)

const [inline]

Definition at line 286 of file solver_strategies.h.

float Clasp::ReduceParams::fRestart

(

)

const [inline]

Definition at line 287 of file solver_strategies.h.

uint32 Clasp::ReduceParams::getBase

(

const SharedContext &

ctx

)

const

Definition at line 164 of file solver_strategies.cpp.

uint32 Clasp::ReduceParams::getLimit	(	uint32	base,
		double	f,
		const Range< uint32 > &	r
	)		[static]

Definition at line 160 of file solver_strategies.cpp.

uint32 Clasp::ReduceParams::prepare

(

bool

withLookback

)

Definition at line 199 of file solver_strategies.cpp.

Range32 Clasp::ReduceParams::sizeInit

(

const SharedContext &

ctx

)

const

Definition at line 187 of file solver_strategies.cpp.

---

Member Data Documentation

ScheduleStrategy Clasp::ReduceParams::cflSched

Conflict-based deletion schedule.

Definition at line 289 of file solver_strategies.h.

float Clasp::ReduceParams::fGrow

Growth factor for db.

Definition at line 294 of file solver_strategies.h.

float Clasp::ReduceParams::fInit

Initial limit. X = P*fInit clamped to initRange.

Definition at line 292 of file solver_strategies.h.

float Clasp::ReduceParams::fMax

Maximal limit. X = P*fMax clamped to maxRange.

Definition at line 293 of file solver_strategies.h.

ScheduleStrategy Clasp::ReduceParams::growSched

Growth-based deletion schedule.

Definition at line 290 of file solver_strategies.h.

Range32 Clasp::ReduceParams::initRange

Allowed range for initial limit.

Definition at line 295 of file solver_strategies.h.

uint32 Clasp::ReduceParams::maxRange

Allowed range for maximal limit: [initRange.lo,maxRange]

Definition at line 296 of file solver_strategies.h.

uint32 Clasp::ReduceParams::memMax

Memory limit in MB (0 = no limit).

Definition at line 297 of file solver_strategies.h.

ReduceStrategy Clasp::ReduceParams::strategy

Strategy to apply during nogood deletion.

Definition at line 291 of file solver_strategies.h.

---

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

• solver_strategies.h
• solver_strategies.cpp