Clasp::SolveParams Struct Reference

Parameter-Object for grouping solve-related options. More...

#include <solver_strategies.h>

Collaboration diagram for Clasp::SolveParams:

Classes
struct	FwdCheck

Public Member Functions
	SolveParams ()
	Creates a default-initialized object. More...
uint32	prepare (bool withLookback)
bool	randomize (Solver &s) const

Public Attributes
RestartParams	restart
ReduceParams	reduce
uint32	randRuns:16
uint32	randConf:16
float	randProb
struct Clasp::SolveParams::FwdCheck	fwdCheck

Detailed Description

Parameter-Object for grouping solve-related options.

Constructor & Destructor Documentation

Clasp::SolveParams::SolveParams

(

)

Creates a default-initialized object.

The following parameters are used: restart : quadratic: 100*1.5^k / no restarts after first solution deletion : initial size: vars()/3, grow factor: 1.1, max factor: 3.0, do not reduce on restart randomization: disabled randomProp : 0.0 (disabled)

Member Function Documentation

uint32 Clasp::SolveParams::prepare

(

bool

withLookback

)

Here is the call graph for this function:

bool Clasp::SolveParams::randomize

(

Solver &

s

)

const

Here is the call graph for this function:

Member Data Documentation

struct Clasp::SolveParams::FwdCheck Clasp::SolveParams::fwdCheck

uint32 Clasp::SolveParams::randConf

Number of conflicts comprising one randomized-run.

float Clasp::SolveParams::randProb

Use random heuristic with given probability ([0,1])

uint32 Clasp::SolveParams::randRuns

Number of initial randomized-runs.

ReduceParams Clasp::SolveParams::reduce

RestartParams Clasp::SolveParams::restart

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/solver_strategies.h
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/solver_strategies.cpp