OKlibrary  0.2.1.6
OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis > Class Template Reference

Generic backtracking solver (first prototype) More...

#include <GenericBacktracking.hpp>

List of all members.

Public Types

typedef ExtProblem extended_problem_type
typedef Red reduction_type
typedef Heur heuristics_type
typedef Vis visitor_type

Public Member Functions

 Backtracking (extended_problem_type &problem, reduction_type reduction, heuristics_type heuristics, visitor_type &visitor, const bool all_solutions=false)
boost::logic::tribool operator() ()

Public Attributes

extended_problem_typeP
reduction_type r
heuristics_type h
visitor_typevis
const bool all

Detailed Description

template<class ExtProblem, class Red, class Heur, class Vis>
class OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >

Generic backtracking solver (first prototype)

Backtracking<ExtProblem, Red, Heur, Vis> has the following template parameters:

  • ExtProblem ist a class with the problem and the current partial assignment
  • Red is the reduction for every node
  • Heur is the heuristics (the branching literal)
  • Vis is the (decision-)visitor
Todo:
Update

Definition at line 36 of file GenericBacktracking.hpp.


Member Typedef Documentation

template<class ExtProblem , class Red , class Heur , class Vis >
typedef ExtProblem OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >::extended_problem_type

Definition at line 38 of file GenericBacktracking.hpp.

template<class ExtProblem , class Red , class Heur , class Vis >
typedef Heur OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >::heuristics_type

Definition at line 40 of file GenericBacktracking.hpp.

template<class ExtProblem , class Red , class Heur , class Vis >
typedef Red OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >::reduction_type

Definition at line 39 of file GenericBacktracking.hpp.

template<class ExtProblem , class Red , class Heur , class Vis >
typedef Vis OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >::visitor_type

Definition at line 41 of file GenericBacktracking.hpp.


Constructor & Destructor Documentation

template<class ExtProblem , class Red , class Heur , class Vis >
OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >::Backtracking ( extended_problem_type problem,
reduction_type  reduction,
heuristics_type  heuristics,
visitor_type visitor,
const bool  all_solutions = false 
) [inline]

Definition at line 49 of file GenericBacktracking.hpp.


Member Function Documentation


Member Data Documentation

template<class ExtProblem , class Red , class Heur , class Vis >
const bool OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >::all
template<class ExtProblem , class Red , class Heur , class Vis >
heuristics_type OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >::h
template<class ExtProblem , class Red , class Heur , class Vis >
extended_problem_type& OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >::P
template<class ExtProblem , class Red , class Heur , class Vis >
reduction_type OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >::r
template<class ExtProblem , class Red , class Heur , class Vis >
visitor_type& OKlib::SATAlgorithms::Backtracking< ExtProblem, Red, Heur, Vis >::vis

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