Clasp::ContextParams Struct Reference

Parameters for a SharedContext object. More...

#include <solver_strategies.h>

Inheritance diagram for Clasp::ContextParams:

List of all members.

Public Types
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...
enum	ShortMode { short_implicit = 0, short_explicit = 1 }
	How to handle short learnt clauses. More...
Public Member Functions
	ContextParams ()
Public Attributes
uint8	cliConfig
uint8	cliId
uint8	cliMode
uint8	reserved: 1
SatPreParams	satPre
uint8	seed: 1
uint8	shareMode: 3
uint8	shortMode: 1
uint8	stats: 2

---

Detailed Description

Parameters for a SharedContext object.

Definition at line 360 of file solver_strategies.h.

---

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.

Definition at line 367 of file solver_strategies.h.

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.

Definition at line 362 of file solver_strategies.h.

---

Constructor & Destructor Documentation

Clasp::ContextParams::ContextParams

(

)

[inline]

Definition at line 374 of file solver_strategies.h.

---

Member Data Documentation

uint8 Clasp::ContextParams::cliConfig

Reserved for command-line interface.

Definition at line 381 of file solver_strategies.h.

uint8 Clasp::ContextParams::cliId

Reserved for command-line interface.

Definition at line 382 of file solver_strategies.h.

uint8 Clasp::ContextParams::cliMode

Reserved for command-line interface.

Definition at line 383 of file solver_strategies.h.

uint8 Clasp::ContextParams::reserved

Reserved for future use.

Definition at line 380 of file solver_strategies.h.

SatPreParams Clasp::ContextParams::satPre

Preprocessing options.

Definition at line 375 of file solver_strategies.h.

uint8 Clasp::ContextParams::seed

Apply new seed when adding solvers.

Definition at line 379 of file solver_strategies.h.

uint8 Clasp::ContextParams::shareMode

Physical sharing mode (one of ShareMode).

Definition at line 376 of file solver_strategies.h.

uint8 Clasp::ContextParams::shortMode

One of ShortMode.

Definition at line 378 of file solver_strategies.h.

uint8 Clasp::ContextParams::stats

See SharedContext::enableStats().

Definition at line 377 of file solver_strategies.h.

---

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

• solver_strategies.h