Classes | Namespaces | Typedefs | Functions
solver_strategies.h File Reference
#include <clasp/constraint.h>
#include <clasp/util/misc_types.h>
Include dependency graph for solver_strategies.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  Clasp::BasicSatConfig
class  Clasp::Configuration
 Interface for configuring a SharedContext object and its associated solvers. More...
struct  Clasp::ContextParams
 Parameters for a SharedContext object. More...
struct  Clasp::SolveParams::FwdCheck
struct  Clasp::Heuristic_t
 Simple factory for decision heuristics. More...
struct  Clasp::ReduceParams
 Aggregates parameters for the nogood deletion heuristic used during search. More...
struct  Clasp::ReduceStrategy
 Reduce strategy used during solving. More...
struct  Clasp::RestartParams
 Aggregates restart-parameters to configure restarts during search. More...
struct  Clasp::SatPreParams
 Parameters for (optional) Sat-preprocessing. More...
struct  Clasp::ScheduleStrategy
 Implements clasp's configurable schedule-strategies. More...
struct  Clasp::SolveParams
 Parameter-Object for grouping solve-related options. More...
struct  Clasp::SolverParams
 Parameter-Object for configuring a solver. More...
struct  Clasp::SolverStrategies
class  Clasp::UserConfiguration
 Base class for user-provided configurations. More...

Namespaces

namespace  Clasp

Typedefs

typedef Range< uint32 > Clasp::Range32

Functions

double Clasp::addR (uint32 idx, double a)
double Clasp::growR (uint32 idx, double g)
uint32 Clasp::log2 (uint32 x)
uint32 Clasp::lubyR (uint32 idx)

Detailed Description

Contains strategies and options used to configure solvers and search.

Definition in file solver_strategies.h.



clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:40