Clasp::BasicSolve::State Struct Reference

List of all members.

Public Types
typedef BasicSolveEvent	EventType
Public Member Functions
ValueRep	solve (Solver &s, const SolveParams &p, SolveLimits *lim)
	State (Solver &s, const SolveParams &p)
Public Attributes
uint64	dbGrowNext
double	dbHigh
double	dbMax
uint32	dbPinned
ScheduleStrategy	dbRed
uint32	dbRedInit
uint32	nGrow
uint32	nRestart
uint32	rsShuffle

---

Detailed Description

Definition at line 30 of file solve_algorithms.cpp.

---

Member Typedef Documentation

typedef BasicSolveEvent Clasp::BasicSolve::State::EventType

Definition at line 31 of file solve_algorithms.cpp.

---

Constructor & Destructor Documentation

Clasp::BasicSolve::State::State	(	Solver &	s,
		const SolveParams &	p
	)

Definition at line 89 of file solve_algorithms.cpp.

---

Member Function Documentation

ValueRep Clasp::BasicSolve::State::solve	(	Solver &	s,
		const SolveParams &	p,
		SolveLimits *	lim
	)

Definition at line 119 of file solve_algorithms.cpp.

---

Member Data Documentation

uint64 Clasp::BasicSolve::State::dbGrowNext

Definition at line 34 of file solve_algorithms.cpp.

double Clasp::BasicSolve::State::dbHigh

Definition at line 36 of file solve_algorithms.cpp.

double Clasp::BasicSolve::State::dbMax

Definition at line 35 of file solve_algorithms.cpp.

uint32 Clasp::BasicSolve::State::dbPinned

Definition at line 41 of file solve_algorithms.cpp.

ScheduleStrategy Clasp::BasicSolve::State::dbRed

Definition at line 37 of file solve_algorithms.cpp.

uint32 Clasp::BasicSolve::State::dbRedInit

Definition at line 40 of file solve_algorithms.cpp.

uint32 Clasp::BasicSolve::State::nGrow

Definition at line 39 of file solve_algorithms.cpp.

uint32 Clasp::BasicSolve::State::nRestart

Definition at line 38 of file solve_algorithms.cpp.

uint32 Clasp::BasicSolve::State::rsShuffle

Definition at line 42 of file solve_algorithms.cpp.

---

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

• solve_algorithms.cpp