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.