Aim: Concept checking for Unsigned numbers. Models of this concept should be listed in NumberTraits class and should have the isUnsigned property. More...

#include <DGtal/kernel/CUnsignedNumber.h>

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

Public Member Functions
	BOOST_CONCEPT_USAGE (CUnsignedNumber)

Private Attributes
NumberTraits< T >::IsUnsigned	myIsUnsigned

Detailed Description

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

Aim: Concept checking for Unsigned numbers. Models of this concept should be listed in NumberTraits class and should have the isUnsigned property.

Description of concept 'CUnsignedNumber'

Refinement of

CQuantity

Associated types

Notation

X : A type that is a model of CUnsignedNumber
x, y : Object of type X

Definitions

Valid expressions

Name	Expression	Type requirements	Return type	Precondition	Semantics	Postcondition	Complexity
X should be tagged true in NumberTraits for IsUnsigned.	typename NumberTraits<X>::IsUnsigned	TagTrue

Invariants

Models

unsigned short, unsigned int, unsigned long long, uint16_t, uint32_t, uint64_t.

Notes

Definition at line 94 of file CUnsignedNumber.h.

Member Function Documentation

◆ BOOST_CONCEPT_USAGE()

template<typename T >

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

inline

Definition at line 98 of file CUnsignedNumber.h.

    {
      // Will compile iff Unsigned.
      ConceptUtils::checkTrue( myIsUnsigned );
    }

References DGtal::concepts::ConceptUtils::checkTrue(), and DGtal::concepts::CUnsignedNumber< T >::myIsUnsigned.

Field Documentation

◆ myIsUnsigned

template<typename T >

NumberTraits<T>::IsUnsigned DGtal::concepts::CUnsignedNumber< T >::myIsUnsigned

private

Definition at line 109 of file CUnsignedNumber.h.

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

The documentation for this struct was generated from the following file:

CUnsignedNumber.h

Public Member Functions

Private Attributes