#include <vector>
#include <queue>
#include "closed_list.h"
#include "search_engine.h"
#include "state.h"
#include "operator.h"
#include <tr1/tuple>
#include "search_statistics.h"
Go to the source code of this file.
Classes | |
class | BestFirstSearchEngine |
class | OpenListEntryCompare |
struct | OpenListInfo |
Typedefs | |
typedef std::map< std::vector < double >, double > | LogicalStateClosedList |
Maps logical state to best timestamp for that state. | |
typedef priority_queue < OpenListEntry, std::vector < OpenListEntry > , OpenListEntryCompare > | OpenList |
typedef std::tr1::tuple< const TimeStampedState *, const Operator *, double > | OpenListEntry |
Functions | |
bool | knownByLogicalStateOnly (LogicalStateClosedList &scl, const TimedSymbolicStates &timedSymbolicStates) |
typedef std::map<std::vector<double>, double> LogicalStateClosedList |
Maps logical state to best timestamp for that state.
Definition at line 39 of file best_first_search.h.
typedef priority_queue<OpenListEntry, std::vector<OpenListEntry>,OpenListEntryCompare> OpenList |
Definition at line 26 of file best_first_search.h.
typedef std::tr1::tuple<const TimeStampedState *, const Operator *, double> OpenListEntry |
Definition at line 13 of file best_first_search.h.
bool knownByLogicalStateOnly | ( | LogicalStateClosedList & | scl, |
const TimedSymbolicStates & | timedSymbolicStates | ||
) |
Definition at line 359 of file best_first_search.cpp.