irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
irafhy::viewer Class Reference

#include <viewer.h>

Collaboration diagram for irafhy::viewer:
Collaboration graph

Static Public Member Functions

static void show (const std::vector< IntervalHull > &intervalHulls={}, const std::vector< std::vector< Point >> &points={}, const std::vector< capd::interval > &time={}, const std::vector< int > &dimension={}, VIEW_TYPE viewType=VIEW_TYPE::PLANE)
 show the given interval hulls, point set using the wrapped viewer More...
 
static void show (const std::vector< Condition > &conditions={}, const std::vector< std::vector< Point >> &points={}, const std::vector< capd::interval > &time={}, const std::vector< int > &dimension={}, VIEW_TYPE viewType=VIEW_TYPE::PLANE)
 show the given conditions, point set using wrapped viewer More...
 

Static Private Member Functions

static IntervalHullStruct intervalHullMatrix (const IntervalHull &intervalHulls, const capd::interval &time, const std::vector< int > &dimension)
 construct the matrices which define the given inetrval hull More...
 
static Eigen::MatrixXd pointMatrix (const std::vector< Point > &point, const capd::interval &time, const std::vector< int > &dimension)
 construct the coordinate matix of given point set More...
 
static void drawAxes (igl::opengl::glfw::Viewer &viewer, const std::vector< capd::interval > &ranges, const std::vector< std::string > &vars)
 draw the axes and adaptive markers More...
 

Member Function Documentation

◆ drawAxes()

void irafhy::viewer::drawAxes ( igl::opengl::glfw::Viewer &  viewer,
const std::vector< capd::interval > &  ranges,
const std::vector< std::string > &  vars 
)
staticprivate

draw the axes and adaptive markers

Parameters
viewerviewer which shall show the axes
rangesranges of each showing dimension
varsrelated variable of each dimension

Referenced by show().

◆ intervalHullMatrix()

IntervalHullStruct irafhy::viewer::intervalHullMatrix ( const IntervalHull intervalHulls,
const capd::interval &  time,
const std::vector< int > &  dimension 
)
staticprivate

construct the matrices which define the given inetrval hull

Parameters
intervalHullsgiven inetrval hull
timerelated time in interval form
dimensionthe dimension of the space which the given interval hull in
Returns
resulting interval hull struct

References irafhy::IntervalHull::empty().

Referenced by show().

Here is the call graph for this function:

◆ pointMatrix()

Eigen::MatrixXd irafhy::viewer::pointMatrix ( const std::vector< Point > &  point,
const capd::interval &  time,
const std::vector< int > &  dimension 
)
staticprivate

construct the coordinate matix of given point set

Parameters
pointgiven point set
timerelated time in interval form
dimensionthe dimension of the sapce which the given interval hull in
Returns
resulting coordinate matrix

Referenced by show().

◆ show() [1/2]

void irafhy::viewer::show ( const std::vector< IntervalHull > &  intervalHulls = {},
const std::vector< std::vector< Point >> &  points = {},
const std::vector< capd::interval > &  time = {},
const std::vector< int > &  dimension = {},
VIEW_TYPE  viewType = VIEW_TYPE::PLANE 
)
static

show the given interval hulls, point set using the wrapped viewer

Parameters
intervalHullsgiven interval hulls
pointsgiven point set
timetime sequence
dimensiondimensions specify the values shall be showed
viewTypestyle of interval hulls' showing

References irafhy::IntervalHullStruct::_E, irafhy::IntervalHullStruct::_F, irafhy::IntervalHullStruct::_V, drawAxes(), intervalHullMatrix(), irafhy::LINE, irafhy::PLANE, irafhy::POINT, and pointMatrix().

Here is the call graph for this function:

◆ show() [2/2]

void irafhy::viewer::show ( const std::vector< Condition > &  conditions = {},
const std::vector< std::vector< Point >> &  points = {},
const std::vector< capd::interval > &  time = {},
const std::vector< int > &  dimension = {},
VIEW_TYPE  viewType = VIEW_TYPE::PLANE 
)
static

show the given conditions, point set using wrapped viewer

Parameters
conditionsgiven condition
pointsgiven point set
timetime sequence
dimensiondimensions specify the values shall be showed
viewTypestyle of conditions' showing

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