Clasp::SearchLimits Struct Reference

Parameter-Object for managing search limits. More...

#include <solver.h>

List of all members.

Public Member Functions
bool	hasDynamicRestart () const
bool	reached () const
	SearchLimits (uint64 conf=UINT64_MAX)
void	setMemLimit (uint32 limitInMB)
Public Attributes
uint64	conflicts
SumQueue *	dynamic
uint32	learnts
uint64	local
uint64	memLimit

---

Detailed Description

Parameter-Object for managing search limits.

Definition at line 34 of file solver.h.

---

Constructor & Destructor Documentation

Clasp::SearchLimits::SearchLimits

(

uint64

conf = UINT64_MAX

)

[inline, explicit]

Definition at line 35 of file solver.h.

---

Member Function Documentation

bool Clasp::SearchLimits::hasDynamicRestart

(

)

const [inline]

Definition at line 43 of file solver.h.

bool Clasp::SearchLimits::reached

(

)

const [inline]

Definition at line 42 of file solver.h.

void Clasp::SearchLimits::setMemLimit

(

uint32

limitInMB

)

[inline]

Definition at line 44 of file solver.h.

---

Member Data Documentation

uint64 Clasp::SearchLimits::conflicts

Search for at least number of conflicts.

Definition at line 45 of file solver.h.

SumQueue* Clasp::SearchLimits::dynamic

Use dynamic restarts based on lbd or conflict level.

Definition at line 48 of file solver.h.

uint32 Clasp::SearchLimits::learnts

Limit on number of learnt lemmas.

Definition at line 49 of file solver.h.

uint64 Clasp::SearchLimits::local

Search for at least number of conflicts in branch.

Definition at line 46 of file solver.h.

uint64 Clasp::SearchLimits::memLimit

(Soft) memory limit for learnt lemmas (in bytes).

Definition at line 47 of file solver.h.

---

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

• solver.h