Clasp::SolveLimits Struct Reference

Type for holding global solve limits. More...

#include <solve_algorithms.h>

List of all members.

Public Member Functions
bool	reached () const
	SolveLimits (uint64 conf=UINT64_MAX, uint64 r=UINT64_MAX)
Public Attributes
uint64	conflicts
uint64	restarts

---

Detailed Description

Type for holding global solve limits.

Definition at line 36 of file solve_algorithms.h.

---

Constructor & Destructor Documentation

Clasp::SolveLimits::SolveLimits	(	uint64	conf = UINT64_MAX,
		uint64	r = UINT64_MAX
	)		[inline, explicit]

Definition at line 37 of file solve_algorithms.h.

---

Member Function Documentation

bool Clasp::SolveLimits::reached

(

)

const [inline]

Definition at line 41 of file solve_algorithms.h.

---

Member Data Documentation

uint64 Clasp::SolveLimits::conflicts

Number of conflicts.

Definition at line 42 of file solve_algorithms.h.

uint64 Clasp::SolveLimits::restarts

Number of restarts.

Definition at line 43 of file solve_algorithms.h.

---

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

• solve_algorithms.h