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

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

Collaboration 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

template<typename T >

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

Definition at line 93 of file CPowerSeparableMetric.h.

template<typename T >

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

Definition at line 94 of file CPowerSeparableMetric.h.

Member Function Documentation

template<typename T >

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

inline

Definition at line 96 of file CPowerSeparableMetric.h.

References DGtal::concepts::CPowerSeparableMetric< T >::checkConstConstraints().

     {
       checkConstConstraints();
     }

template<typename T >

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

inline

Definition at line 100 of file CPowerSeparableMetric.h.

References DGtal::concepts::CPowerSeparableMetric< T >::dim, DGtal::concepts::CPowerSeparableMetric< T >::myBool, DGtal::concepts::CPowerSeparableMetric< T >::myX, DGtal::concepts::ConceptUtils::sameType(), DGtal::concepts::CPowerSeparableMetric< T >::u, DGtal::concepts::CPowerSeparableMetric< T >::wu, DGtal::concepts::CPowerSeparableMetric< T >::wv, and DGtal::concepts::CPowerSeparableMetric< T >::ww.

Referenced by DGtal::concepts::CPowerSeparableMetric< T >::BOOST_CONCEPT_USAGE().

     {
       // 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) );
     }