---

/home/pauldt/projects/IDEA/IDEA-ALL/IDEA-DEV/Core/Planner/Includes/HorizonSettings.hh

Go to the documentation of this file.

#ifndef HORIZON_SETTINGS_REACTIVE_PLANNER_HEADER_
#define HORIZON_SETTINGS_REACTIVE_PLANNER_HEADER_

#include "Utilities.hh"

namespace IDEA
{
  enum HorizonSetting
    {
      INFINITE = 0,  
      PLUS_ONE_TICK,  
      CUSTOM 
    } ;

  std::ostream& operator<<( std::ostream& os, const HorizonSetting& hs );
}

#endif // HORIZON_SETTINGS_REACTIVE_PLANNER_HEADER_
 

---

Contact information © IDEA