Clasp::ContextParams Struct Reference

Parameters for a SharedContext object. More...

#include <solver_strategies.h>

Inheritance diagram for Clasp::ContextParams:

Collaboration diagram for Clasp::ContextParams:

Public Types
enum	ShortMode { short_implicit = 0, short_explicit = 1 }
	How to handle short learnt clauses. More...
enum	ShareMode {   share_no = 0, share_problem = 1, share_learnt = 2, share_all = 3,   share_auto = 4 }
	How to handle physical sharing of (explicit) constraints. More...

Public Member Functions
	ContextParams ()

Public Attributes
SatPreParams	satPre
uint8	shareMode: 3
uint8	stats: 2
uint8	shortMode: 1
uint8	seed: 1
uint8	reserved: 1
uint8	cliConfig
uint8	cliId
uint8	cliMode

Detailed Description

Parameters for a SharedContext object.

Member Enumeration Documentation

enum Clasp::ContextParams::ShareMode

How to handle physical sharing of (explicit) constraints.

Enumerator
share_no	Do not physically share constraints (use copies instead).
share_problem	Share problem constraints but copy learnt constraints.
share_learnt	Copy problem constraints but share learnt constraints.
share_all	Share all constraints.
share_auto	Use share_no or share_all depending on number of solvers.

enum Clasp::ContextParams::ShortMode

How to handle short learnt clauses.

Enumerator
short_implicit	Share short learnt clauses via short implication graph.
short_explicit	Do not use short implication graph.

Constructor & Destructor Documentation

Clasp::ContextParams::ContextParams ( )

inline

Member Data Documentation

uint8 Clasp::ContextParams::cliConfig

Reserved for command-line interface.

uint8 Clasp::ContextParams::cliId

Reserved for command-line interface.

uint8 Clasp::ContextParams::cliMode

Reserved for command-line interface.

uint8 Clasp::ContextParams::reserved

Reserved for future use.

SatPreParams Clasp::ContextParams::satPre

Preprocessing options.

uint8 Clasp::ContextParams::seed

Apply new seed when adding solvers.

uint8 Clasp::ContextParams::shareMode

Physical sharing mode (one of ShareMode).

uint8 Clasp::ContextParams::shortMode

One of ShortMode.

uint8 Clasp::ContextParams::stats

See SharedContext::enableStats().

---

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

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