Clasp::RestartParams Struct Reference

Aggregates restart-parameters to configure restarts during search. More...

#include <solver_strategies.h>

List of all members.

Public Types
enum	SeqUpdate { seq_continue = 0, seq_repeat = 1, seq_disable = 2 }
Public Member Functions
void	disable ()
bool	dynamic () const
bool	local () const
uint32	prepare (bool withLookback)
	RestartParams ()
SeqUpdate	update () const
Public Attributes
uint32	cntLocal: 1
uint32	counterBump:16
uint32	counterRestart:16
uint32	dynRestart: 1
ScheduleStrategy	sched
uint32	shuffle:14
uint32	shuffleNext:14
uint32	upRestart: 2

---

Detailed Description

Aggregates restart-parameters to configure restarts during search.

See also:

ScheduleStrategy

Definition at line 197 of file solver_strategies.h.

---

Member Enumeration Documentation

enum Clasp::RestartParams::SeqUpdate

Enumerator:

seq_continue
seq_repeat
seq_disable

Definition at line 199 of file solver_strategies.h.

---

Constructor & Destructor Documentation

Clasp::RestartParams::RestartParams

(

)

[inline]

Definition at line 198 of file solver_strategies.h.

---

Member Function Documentation

void Clasp::RestartParams::disable

(

)

Definition at line 129 of file solver_strategies.cpp.

bool Clasp::RestartParams::dynamic

(

)

const [inline]

Definition at line 202 of file solver_strategies.h.

bool Clasp::RestartParams::local

(

)

const [inline]

Definition at line 203 of file solver_strategies.h.

uint32 Clasp::RestartParams::prepare

(

bool

withLookback

)

Definition at line 133 of file solver_strategies.cpp.

SeqUpdate Clasp::RestartParams::update

(

)

const [inline]

Definition at line 204 of file solver_strategies.h.

---

Member Data Documentation

uint32 Clasp::RestartParams::cntLocal

Count conflicts globally or relative to current branch?

Definition at line 211 of file solver_strategies.h.

uint32 Clasp::RestartParams::counterBump

Bump factor for counter implication restarts.

Definition at line 207 of file solver_strategies.h.

uint32 Clasp::RestartParams::counterRestart

Apply counter implication bump every counterRestart restarts (0: disable).

Definition at line 206 of file solver_strategies.h.

uint32 Clasp::RestartParams::dynRestart

Dynamic restarts enabled?

Definition at line 212 of file solver_strategies.h.

ScheduleStrategy Clasp::RestartParams::sched

Restart schedule to use.

Definition at line 205 of file solver_strategies.h.

uint32 Clasp::RestartParams::shuffle

Shuffle program after shuffle restarts (0: disable).

Definition at line 208 of file solver_strategies.h.

uint32 Clasp::RestartParams::shuffleNext

Re-Shuffle program every shuffleNext restarts (0: disable).

Definition at line 209 of file solver_strategies.h.

uint32 Clasp::RestartParams::upRestart

How to update restart sequence after a model was found (one of SeqUpdate).

Definition at line 210 of file solver_strategies.h.

---

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

• solver_strategies.h
• solver_strategies.cpp