Clasp::SolveParams::FwdCheck Struct Reference

#include <solver_strategies.h>

List of all members.

Public Member Functions
	FwdCheck ()
Public Attributes
uint32	highPct: 7
uint32	incHigh: 1
uint32	initHigh: 24

---

Detailed Description

Definition at line 321 of file solver_strategies.h.

---

Constructor & Destructor Documentation

Clasp::SolveParams::FwdCheck::FwdCheck

(

)

[inline]

Definition at line 325 of file solver_strategies.h.

---

Member Data Documentation

uint32 Clasp::SolveParams::FwdCheck::highPct

Check on low + (high - low) * highPct/100

Definition at line 323 of file solver_strategies.h.

uint32 Clasp::SolveParams::FwdCheck::incHigh

Inc high level when reached.

Definition at line 324 of file solver_strategies.h.

uint32 Clasp::SolveParams::FwdCheck::initHigh

< Options for partial checks in DLP-solving; Init high level to this DL (0 = max level)

Definition at line 322 of file solver_strategies.h.

---

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

• solver_strategies.h