Aim: Concept checking for Signed Numbers. Models of this concept should be listed in NumberTraits class and should have the isSigned property. More...

#include <DGtal/kernel/CSignedNumber.h>

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

[legend]

Public Member Functions
	BOOST_CONCEPT_USAGE (CSignedNumber)

Private Attributes
NumberTraits< T >::IsSigned	myIsSigned

Detailed Description

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

Aim: Concept checking for Signed Numbers. Models of this concept should be listed in NumberTraits class and should have the isSigned property.

Description of concept 'CSignedNumber'

Refinement of

CQuantity

Associated types

Notation

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

Definitions

Valid expressions and

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

Invariants

Models

double, BigInteger, short, int, long long, int16_t, int32_t, int64_t.

Notes

Template Parameters

T	the type that is checked. T should be a model of CBoundedInteger.

Definition at line 97 of file CSignedNumber.h.

Member Function Documentation

◆ BOOST_CONCEPT_USAGE()

template<typename T >

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

inline

Definition at line 101 of file CSignedNumber.h.

     {
       // Will compile iff Signed.
       ConceptUtils::checkTrue(myIsSigned );
     }

References DGtal::concepts::ConceptUtils::checkTrue(), and DGtal::concepts::CSignedNumber< T >::myIsSigned.

Field Documentation

◆ myIsSigned

template<typename T >

NumberTraits<T>::IsSigned DGtal::concepts::CSignedNumber< T >::myIsSigned

private

Definition at line 112 of file CSignedNumber.h.

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

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

CSignedNumber.h

Public Member Functions

Private Attributes