state.h File Reference

#include <algorithm>
#include <cassert>
#include <iostream>
#include <vector>
#include <set>
#include "globals.h"
#include "module.h"

Include dependency graph for search/state.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	ModuleEffect
struct	PrePost
struct	Prevail
struct	ScheduledCondition
struct	ScheduledEffect
struct	ScheduledModuleEffect
class	TimeStampedState
Typedefs
typedef std::pair< std::vector < double >, double >	TimedSymbolicState
typedef std::vector < TimedSymbolicState >	TimedSymbolicStates
Functions
TimeStampedState &	buildTestState (TimeStampedState &state)

---

Typedef Documentation

typedef std::pair<std::vector<double>, double> TimedSymbolicState

Definition at line 274 of file search/state.h.

typedef std::vector<TimedSymbolicState> TimedSymbolicStates

Definition at line 277 of file search/state.h.

---

Function Documentation

TimeStampedState& buildTestState

(

TimeStampedState &

state

)

Definition at line 510 of file search/state.cpp.