Aim: defines the concept of separable metrics. More...

#include <DGtal/geometry/volumes/distance/CPowerSeparableMetric.h>

Inheritance diagram for DGtal::concepts::CPowerSeparableMetric< T >:

Public Types
typedef T::Point	Point
typedef T::Weight	Weight
Public Types inherited from DGtal::concepts::CPowerMetric< T >
typedef T::Space	Space
typedef T::Weight	Weight
typedef T::Value	Value
typedef T::Point	Point

Public Member Functions
	BOOST_CONCEPT_USAGE (CPowerSeparableMetric)
void	checkConstConstraints () const
Public Member Functions inherited from DGtal::concepts::CPowerMetric< T >
	BOOST_CONCEPT_ASSERT ((CSpace< Space >))
	BOOST_CONCEPT_ASSERT ((CQuantity< Value >))
	BOOST_CONCEPT_ASSERT ((CQuantity< Weight >))
	BOOST_CONCEPT_USAGE (CPowerMetric)
void	checkConstConstraints () const

Private Attributes
T	myX
Point	u
Point	v
Point	w
Point	start
Point	end
Weight	ww
Weight	wu
Weight	wv
bool	myBool
DGtal::Dimension	dim

Detailed Description

template<typename T>
struct DGtal::concepts::CPowerSeparableMetric< T >

Aim: defines the concept of separable metrics.

Description of concept 'CPowerSeparableMetric'

Separable metrics are metrics satsifying the monotonicity property.

Refinement of CPowerMetric

Associated types

Notation

X : A type that is a model of CPowerSeparableMetric
x, y : object of type X

Definitions

Valid expressions and semantics

Name	Expression	Type requirements	Return type	Precondition	Semantics	Post condition	Complexity
hiddenBy predicate	hiddenByPower(u,Wu,v,Wv,w,Wv,startingPoint,endPoint,dim)	u,v,w,startingPoint,endPoint of type Point, Wu,Wv,Ww of type Weight, dim of type DGtal::Dimension	startingPoint and endPoint only differ by their dim-th coordinate	returns true if the intersection between the segment [startingPoint,endPoint] and the Voronoi cell associated with v is empty (hidden on the segment by u and w Voronoi cells).			-

Invariants

Models

ExactPredicateLpPowerSeparableMetric,

Notes

Template Parameters

T	the type that should be a model of CPowerSeparableMetric.

Definition at line 89 of file CPowerSeparableMetric.h.

Member Typedef Documentation

◆ Point

template<typename T>

typedef T::Point DGtal::concepts::CPowerSeparableMetric< T >::Point

Definition at line 93 of file CPowerSeparableMetric.h.

◆ Weight

template<typename T>

typedef T::Weight DGtal::concepts::CPowerSeparableMetric< T >::Weight

Definition at line 94 of file CPowerSeparableMetric.h.

Member Function Documentation

◆ BOOST_CONCEPT_USAGE()

template<typename T>

DGtal::concepts::CPowerSeparableMetric< T >::BOOST_CONCEPT_USAGE ( CPowerSeparableMetric< T > )

inline

Definition at line 96 of file CPowerSeparableMetric.h.

97 {

98 checkConstConstraints();

99 }

DGtal::concepts::CPowerSeparableMetric::checkConstConstraints

void checkConstConstraints() const

Definition CPowerSeparableMetric.h:100

References checkConstConstraints().

◆ checkConstConstraints()

template<typename T>

void DGtal::concepts::CPowerSeparableMetric< T >::checkConstConstraints ( ) const

inline

Definition at line 100 of file CPowerSeparableMetric.h.

    {
      // const method dummyConst should take parameter myA of type A and return
      // something of type B
      ConceptUtils::sameType( myBool, myX.hiddenByPower(u,wu,v,wv,w,ww,start,end,dim) );
    }