fmrbenchmark  0.0.4
 All Classes Functions Friends Modules
Public Member Functions | Static Public Member Functions | Public Attributes | Friends | List of all members
dubins_traffic::Problem Class Reference

Representation of problem instances. More...

#include <problem.hpp>

Collaboration diagram for dubins_traffic::Problem:
Collaboration graph
[legend]

Public Member Functions

std::string dumpJSON () const
 Get description of problem in JSON. More...
 
 Problem (const RoadNetwork &rnd_)
 
 Problem (const Problem &to_be_copied)
 
void to_formula (std::ostream &out) const
 Create formula using SPIN LTL syntax http://spinroot.com/spin/Man/ltl.html. More...
 

Static Public Member Functions

static Problem random (const RoadNetwork &rnd_, const Eigen::Vector2i &number_goals_bounds)
 

Public Attributes

std::vector< size_t > goals
 
double intersection_radius
 
RoadNetwork rnd
 

Friends

std::ostream & operator<< (std::ostream &out, const Problem &prob)
 Output description of problem in JSON to a stream.
 

Detailed Description

Representation of problem instances.

Member Function Documentation

std::string dubins_traffic::Problem::dumpJSON ( ) const

Get description of problem in JSON.

void dubins_traffic::Problem::to_formula ( std::ostream &  out) const

Create formula using SPIN LTL syntax http://spinroot.com/spin/Man/ltl.html.

Support for other syntax is coming soon.


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