Clasp::Heuristic_t Struct Reference

Simple factory for decision heuristics. More...

#include <solver_strategies.h>

List of all members.

Public Types
enum	Type {   heu_default = 0, heu_berkmin = 1, heu_vsids = 2, heu_vmtf = 3,   heu_domain = 4, heu_unit = 5, heu_none = 6 }
Static Public Member Functions
static DecisionHeuristic *	create (const SolverParams &)
static bool	isLookback (uint32 type)

---

Detailed Description

Simple factory for decision heuristics.

Definition at line 459 of file solver_strategies.h.

---

Member Enumeration Documentation

enum Clasp::Heuristic_t::Type

Enumerator:

heu_default
heu_berkmin
heu_vsids
heu_vmtf
heu_domain
heu_unit
heu_none

Definition at line 460 of file solver_strategies.h.

---

Member Function Documentation

DecisionHeuristic * Clasp::Heuristic_t::create

(

const SolverParams &

str

)

[static]

Definition at line 283 of file solver_strategies.cpp.

static bool Clasp::Heuristic_t::isLookback

(

uint32

type

)

[inline, static]

Definition at line 461 of file solver_strategies.h.

---

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

• solver_strategies.h
• solver_strategies.cpp