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

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 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


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

Support for other syntax is coming soon.

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