CAPD DynSys Library  5.2.0
capd::covrel::GraphicsTripleSet Class Referenceabstract

#include <capd/covrel/GraphicsTripleSet.h>

Public Types

typedef TripleSet::FloatVector FloatVector
 
typedef TripleSet::IntervalVector IntervalVector
 
typedef IntervalVector::ScalarType Interval
 
typedef FloatVector::size_type size_type
 
typedef capd::vectalg::Vector< double, 2 > VectorType
 
typedef capd::vectalg::Vector< interval, 2 > IVectorType
 

Public Member Functions

 GraphicsTripleSet (const TripleSet &t)
 
 GraphicsTripleSet (const FloatVector &a_center, const FloatVector &a_stable, const FloatVector &a_unstable)
 
 GraphicsTripleSet (const IntervalVector &a_center, const IntervalVector &a_stable, const IntervalVector &a_unstable)
 
 GraphicsTripleSet ()
 
 ~GraphicsTripleSet ()
 
void show (krak::IFrame &f, const FloatVector &point, int color=BLACK) const
 
void show (krak::IFrame &f, const IntervalVector &point, int color=BLACK) const
 
void show (krak::IFrame &f) const
 
bool outside (const FloatVector &point) const
 
bool outside (const IntervalVector &point) const
 returns true if vect does not intersect support of this More...
 
virtual bool outside (const VectorType &) const=0
 
bool inside (const FloatVector &point) const
 
bool inside (const IntervalVector &point) const
 true is returned if point is in the interior of support More...
 
virtual bool inside (const VectorType &) const=0
 
bool across (const FloatVector &point) const
 true - is returned if point is either in the open horizonal strip defined by 'horizontal' egdes or on the left or on the right side both sides are open by definition More...
 
bool across (const IntervalVector &point) const
 true- is returned if for each point, x, in vect either one of the following conditions hold: More...
 
virtual bool across (const VectorType &) const=0
 
bool mapaway (const FloatVector &point) const
 
bool mapaway (const IntervalVector &point) const
 ??? More...
 
virtual bool mapaway (const VectorType &) const=0
 
bool onLeft (const FloatVector &point) const
 
bool onLeft (const IntervalVector &point) const
 the egde (DA) - is a 'left' egde - and the condition for a point to be on the left side is - orientation(D,A,point)=-1 More...
 
bool onRight (const FloatVector &point) const
 BC - is the 'right' edge - the condition for the point to be on the right side is: orientation (C,B,point)=1 returns true if point is in the right side (open) of N, false- otherwise;. More...
 
bool onRight (const IntervalVector &point) const
 BC - is the 'right' edge - the condition for the point to be on the right side is: orientation (C,B,point)=1 returns true if vect is in the right side (open) of N. More...
 
template<typename IMatrix >
GridSet< IMatrix > & gridLeftEdge (GridSet< IMatrix > &G, size_type grid, size_type d1=0, size_type d2=1) const
 in the G it returns uniform grid of the left edge More...
 
template<typename IMatrix >
GridSet< IMatrix > & gridRightEdge (GridSet< IMatrix > &G, size_type grid, size_type d1=0, size_type d2=1) const
 
template<typename IMatrix >
GridSet< IMatrix > & gridBottomEdge (GridSet< IMatrix > &G, size_type grid, size_type d1=0, size_type d2=1) const
 
template<typename IMatrix >
GridSet< IMatrix > & gridTopEdge (GridSet< IMatrix > &G, size_type grid, size_type d1=0, size_type d2=1) const
 
template<typename IMatrix >
GridSet< IMatrix > & gridSet (GridSet< IMatrix > &G, size_type grid1, size_type grid2, size_type d1=0, size_type d2=1) const
 

Public Attributes

FloatVector center
 
FloatVector stable
 
FloatVector unstable
 
IntervalVector Icenter
 
IntervalVector Istable
 
IntervalVector Iunstable
 
FloatVector A
 
FloatVector B
 
FloatVector C
 
FloatVector D
 
IntervalVector IA
 
IntervalVector IB
 
IntervalVector IC
 
IntervalVector ID
 
int max_recursion
 

Friends

krak::IFrameoperator<< (krak::IFrame &, GraphicsTripleSet &)
 

Member Typedef Documentation

◆ FloatVector

◆ Interval

◆ IntervalVector

◆ IVectorType

◆ size_type

◆ VectorType

Constructor & Destructor Documentation

◆ GraphicsTripleSet() [1/4]

capd::covrel::GraphicsTripleSet::GraphicsTripleSet ( const TripleSet t)
explicit

◆ GraphicsTripleSet() [2/4]

capd::covrel::GraphicsTripleSet::GraphicsTripleSet ( const FloatVector a_center,
const FloatVector a_stable,
const FloatVector a_unstable 
)
inline

◆ GraphicsTripleSet() [3/4]

capd::covrel::GraphicsTripleSet::GraphicsTripleSet ( const IntervalVector a_center,
const IntervalVector a_stable,
const IntervalVector a_unstable 
)
inline

◆ GraphicsTripleSet() [4/4]

capd::covrel::GraphicsTripleSet::GraphicsTripleSet ( )
inline

◆ ~GraphicsTripleSet()

capd::covrel::GraphicsTripleSet::~GraphicsTripleSet ( )
inline

Member Function Documentation

◆ across() [1/3]

bool capd::covrel::TripleSet::across ( const FloatVector point) const
inherited

true - is returned if point is either in the open horizonal strip defined by 'horizontal' egdes or on the left or on the right side both sides are open by definition

◆ across() [2/3]

bool capd::covrel::TripleSet::across ( const IntervalVector vect) const
virtualinherited

true- is returned if for each point, x, in vect either one of the following conditions hold:

  • x is on the left to N
  • x is on the right to N
  • x is in support of N, but does not touch the N^+ but to satisfy the last condition it is enough for a point to be in the interior of the horizontal strip defined by the egdes in N^+ - AB and CD

Implements capd::covrel::HSet< capd::vectalg::Vector< double, 2 >, capd::vectalg::Vector< interval, 2 > >.

◆ across() [3/3]

virtual bool capd::covrel::HSet< capd::vectalg::Vector< double, 2 > , capd::vectalg::Vector< interval, 2 > >::across ( const VectorType ) const
pure virtualinherited

◆ inside() [1/3]

bool capd::covrel::TripleSet::inside ( const FloatVector point) const
inherited

◆ inside() [2/3]

bool capd::covrel::TripleSet::inside ( const IntervalVector vect) const
virtualinherited

true is returned if point is in the interior of support

Implements capd::covrel::HSet< capd::vectalg::Vector< double, 2 >, capd::vectalg::Vector< interval, 2 > >.

◆ inside() [3/3]

virtual bool capd::covrel::HSet< capd::vectalg::Vector< double, 2 > , capd::vectalg::Vector< interval, 2 > >::inside ( const VectorType ) const
pure virtualinherited

◆ mapaway() [1/3]

bool capd::covrel::TripleSet::mapaway ( const FloatVector point) const
inherited

◆ mapaway() [2/3]

bool capd::covrel::TripleSet::mapaway ( const IntervalVector set) const
virtualinherited

◆ mapaway() [3/3]

virtual bool capd::covrel::HSet< capd::vectalg::Vector< double, 2 > , capd::vectalg::Vector< interval, 2 > >::mapaway ( const VectorType ) const
pure virtualinherited

◆ onLeft() [1/2]

bool capd::covrel::TripleSet::onLeft ( const FloatVector point) const
inherited

◆ onLeft() [2/2]

bool capd::covrel::TripleSet::onLeft ( const IntervalVector vect) const
inherited

the egde (DA) - is a 'left' egde - and the condition for a point to be on the left side is - orientation(D,A,point)=-1

◆ onRight() [1/2]

bool capd::covrel::TripleSet::onRight ( const FloatVector point) const
inherited

BC - is the 'right' edge - the condition for the point to be on the right side is: orientation (C,B,point)=1 returns true if point is in the right side (open) of N, false- otherwise;.

◆ onRight() [2/2]

bool capd::covrel::TripleSet::onRight ( const IntervalVector vect) const
inherited

BC - is the 'right' edge - the condition for the point to be on the right side is: orientation (C,B,point)=1 returns true if vect is in the right side (open) of N.

◆ outside() [1/3]

bool capd::covrel::TripleSet::outside ( const FloatVector point) const
inherited

◆ outside() [2/3]

bool capd::covrel::TripleSet::outside ( const IntervalVector point) const
virtualinherited

returns true if vect does not intersect support of this

Implements capd::covrel::HSet< capd::vectalg::Vector< double, 2 >, capd::vectalg::Vector< interval, 2 > >.

◆ outside() [3/3]

virtual bool capd::covrel::HSet< capd::vectalg::Vector< double, 2 > , capd::vectalg::Vector< interval, 2 > >::outside ( const VectorType ) const
pure virtualinherited

◆ show() [1/3]

void capd::covrel::GraphicsTripleSet::show ( krak::IFrame f) const

◆ show() [2/3]

void capd::covrel::GraphicsTripleSet::show ( krak::IFrame f,
const FloatVector point,
int  color = BLACK 
) const

◆ show() [3/3]

void capd::covrel::GraphicsTripleSet::show ( krak::IFrame f,
const IntervalVector point,
int  color = BLACK 
) const

Friends And Related Function Documentation

◆ operator<<

krak::IFrame& operator<< ( krak::IFrame f,
GraphicsTripleSet Set 
)
friend

Member Data Documentation

◆ A

FloatVector capd::covrel::TripleSet::A
inherited

◆ B

FloatVector capd::covrel::TripleSet::B
inherited

◆ C

FloatVector capd::covrel::TripleSet::C
inherited

◆ center

FloatVector capd::covrel::TripleSet::center
inherited

◆ D

FloatVector capd::covrel::TripleSet::D
inherited

◆ IA

IntervalVector capd::covrel::TripleSet::IA
inherited

◆ IB

IntervalVector capd::covrel::TripleSet::IB
inherited

◆ IC

IntervalVector capd::covrel::TripleSet::IC
inherited

◆ Icenter

IntervalVector capd::covrel::TripleSet::Icenter
inherited

◆ ID

IntervalVector capd::covrel::TripleSet::ID
inherited

◆ Istable

IntervalVector capd::covrel::TripleSet::Istable
inherited

◆ Iunstable

IntervalVector capd::covrel::TripleSet::Iunstable
inherited

◆ max_recursion

int capd::covrel::TripleSet::max_recursion
inherited

◆ stable

FloatVector capd::covrel::TripleSet::stable
inherited

◆ unstable

FloatVector capd::covrel::TripleSet::unstable
inherited