Clasp::ClaspConfig Class Reference

#include <clasp_facade.h>

Inheritance diagram for Clasp::ClaspConfig:

List of all members.

Public Types
typedef Asp::LogicProgram::AspOptions	AspOptions
typedef Solver **	SolverIt
typedef BasicSatConfig	UserConfig
Public Member Functions
UserConfig *	addTesterConfig ()
	ClaspConfig ()
void	prepare (SharedContext &)
	Prepares this configuration for the usage in the given context.
void	reset ()
void	setSolvers (uint32 n)
UserConfig *	testerConfig () const
	~ClaspConfig ()
Public Attributes
AspOptions	asp
EnumOptions	enumerate
SolveOptions	solve
Private Member Functions
	ClaspConfig (const ClaspConfig &)
ClaspConfig &	operator= (const ClaspConfig &)
Private Attributes
UserConfig *	tester_

---

Detailed Description

Configuration object for configuring solving via the ClaspFacade.

Definition at line 66 of file clasp_facade.h.

---

Member Typedef Documentation

typedef Asp::LogicProgram::AspOptions Clasp::ClaspConfig::AspOptions

Definition at line 70 of file clasp_facade.h.

typedef Solver** Clasp::ClaspConfig::SolverIt

Definition at line 69 of file clasp_facade.h.

typedef BasicSatConfig Clasp::ClaspConfig::UserConfig

Definition at line 68 of file clasp_facade.h.

---

Constructor & Destructor Documentation

Clasp::ClaspConfig::ClaspConfig

(

)

Definition at line 38 of file clasp_facade.cpp.

Clasp::ClaspConfig::~ClaspConfig

(

)

Definition at line 39 of file clasp_facade.cpp.

Clasp::ClaspConfig::ClaspConfig

(

const ClaspConfig &

)

[private]

---

Member Function Documentation

BasicSatConfig * Clasp::ClaspConfig::addTesterConfig

(

)

Definition at line 51 of file clasp_facade.cpp.

ClaspConfig& Clasp::ClaspConfig::operator=

(

const ClaspConfig &

)

[private]

void Clasp::ClaspConfig::prepare

(

SharedContext &

)

[virtual]

Prepares this configuration for the usage in the given context.

Reimplemented from Clasp::BasicSatConfig.

Definition at line 63 of file clasp_facade.cpp.

void Clasp::ClaspConfig::reset

(

)

[virtual]

Reimplemented from Clasp::BasicSatConfig.

Definition at line 43 of file clasp_facade.cpp.

void Clasp::ClaspConfig::setSolvers

(

uint32

n

)

Definition at line 55 of file clasp_facade.cpp.

UserConfig* Clasp::ClaspConfig::testerConfig

(

)

const [inline]

Definition at line 77 of file clasp_facade.h.

---

Member Data Documentation

AspOptions Clasp::ClaspConfig::asp

Options for asp preprocessing.

Definition at line 83 of file clasp_facade.h.

EnumOptions Clasp::ClaspConfig::enumerate

Options for enumerator.

Definition at line 82 of file clasp_facade.h.

SolveOptions Clasp::ClaspConfig::solve

Options for solve algorithm.

Definition at line 81 of file clasp_facade.h.

UserConfig* Clasp::ClaspConfig::tester_ [private]

Definition at line 87 of file clasp_facade.h.

---

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

• clasp_facade.h
• clasp_facade.cpp