Extension of Polytope to have label (string). More...
#include <polytope.hpp>


Public Member Functions | |
| LabeledPolytope (const Polytope &other) | |
Public Member Functions inherited from integrator_chains::Polytope | |
| void | dumpJSONcore (std::ostream &out) const |
| Output this polytope in JSON excluding opening { and closing }. More... | |
| bool | is_consistent () const |
| Check that defining matrices have consistent dimensions. More... | |
| bool | is_in (Eigen::VectorXd X) const |
| Is X contained in this polytope? More... | |
| Polytope | operator& (const Polytope &P2) |
| Intersect two polytopes that are defined in the same dimension space. More... | |
| Polytope (Eigen::MatrixXd incoming_H, Eigen::VectorXd incoming_K) | |
| Polytope (const Polytope &other) | |
Static Public Member Functions | |
| static LabeledPolytope * | box (const Eigen::VectorXd &bounds, std::string label="") |
| Polytope::box() but including a label. More... | |
Static Public Member Functions inherited from integrator_chains::Polytope | |
| static Polytope * | box (const Eigen::VectorXd &bounds) |
| Construct Polytope that is an axis-aligned rectangle. More... | |
| static Polytope * | randomH (int n) |
| Create random Polytope in R^n using Eigen::MatrixXd::Random(). More... | |
Public Attributes | |
| std::string | label |
Friends | |
| std::ostream & | operator<< (std::ostream &out, const LabeledPolytope &P) |
| Output this labeled polytope in JSON to given stream. More... | |
Extension of Polytope to have label (string).
This class provides a basis for labeling trajectories. E.g., the labeling of the state can be a set of strings corresponding to the labels of polytopes containing the state.
|
static |
Polytope::box() but including a label.
|
friend |
Output this labeled polytope in JSON to given stream.
1.8.8