Representation of problem instances. More...

#include <problem.hpp>

Collaboration diagram for dubins_traffic::Problem:

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)

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: