An object that is called back during the search progress. More...
#include <abstract-search.hh>

Public Types | |
| typedef abstract_search < move_manager_type > | search_type |
Public Member Functions | |
| search_listener< search_type > & | operator= (const search_listener< search_type > &other) |
| search_listener () | |
| A new observer (listener) of a search process, remember to attach the created object to the search process to be observed (mets::search_type::attach()) | |
| search_listener (const search_listener< search_type > &other) | |
| purposely not implemented (see Effective C++) | |
| virtual void | update (search_type *algorithm)=0 |
| This is the callback method called by searches when a move, an improvement or something else happens. | |
| virtual | ~search_listener () |
| Virtual destructor. | |
An object that is called back during the search progress.
Definition at line 240 of file abstract-search.hh.
| typedef abstract_search<move_manager_type> mets::search_listener< move_manager_type >::search_type |
Definition at line 243 of file abstract-search.hh.
| mets::search_listener< move_manager_type >::search_listener | ( | ) | [inline, explicit] |
A new observer (listener) of a search process, remember to attach the created object to the search process to be observed (mets::search_type::attach())
Definition at line 248 of file abstract-search.hh.
| mets::search_listener< move_manager_type >::search_listener | ( | const search_listener< search_type > & | other | ) |
purposely not implemented (see Effective C++)
| virtual mets::search_listener< move_manager_type >::~search_listener | ( | ) | [inline, virtual] |
Virtual destructor.
Definition at line 258 of file abstract-search.hh.
| search_listener<search_type>& mets::search_listener< move_manager_type >::operator= | ( | const search_listener< search_type > & | other | ) |
| virtual void mets::search_listener< move_manager_type >::update | ( | search_type * | algorithm | ) | [pure virtual] |
This is the callback method called by searches when a move, an improvement or something else happens.