itkConceptChecking.h File Reference

Go to the source code of this file.

Classes
struct	itk::Concept::AdditiveOperators< T1, T2, T3 >
struct	itk::Concept::AdditiveOperators< T1, T2, T3 >::AdditiveOperators::Constraints
struct	itk::Concept::Assignable< T >
struct	itk::Concept::Assignable< T >::Assignable::Constraints
struct	itk::Concept::BracketOperator< T1, T2, T3 >
struct	itk::Concept::BracketOperator< T1, T2, T3 >::BracketOperator::Constraints
struct	itk::Concept::Comparable< T1, T2 >
struct	itk::Concept::Comparable< T1, T2 >::Comparable::Constraints
struct	itk::Concept::Convertible< T1, T2 >
struct	itk::Concept::Convertible< T1, T2 >::Convertible::Constraints
struct	itk::Concept::CopyConstructible< T >
struct	itk::Concept::CopyConstructible< T >::CopyConstructible::Constraints
struct	itk::Concept::DefaultConstructible< T >
struct	itk::Concept::DefaultConstructible< T >::DefaultConstructible::Constraints
struct	itk::Concept::DivisionOperators< T1, T2, T3 >
struct	itk::Concept::DivisionOperators< T1, T2, T3 >::DivisionOperators::Constraints
struct	itk::Concept::EqualityComparable< T1, T2 >
struct	itk::Concept::EqualityComparable< T1, T2 >::EqualityComparable::Constraints
struct	itk::Concept::GreaterThanComparable< T1, T2 >
struct	itk::Concept::GreaterThanComparable< T1, T2 >::GreaterThanComparable::Constraints
struct	itk::Concept::HasJoinTraits< T1, T2 >
struct	itk::Concept::HasJoinTraits< T1, T2 >::HasJoinTraits::Constraints
struct	itk::Concept::HasNumericTraits< T >
struct	itk::Concept::HasNumericTraits< T >::HasNumericTraits::Constraints
struct	itk::Concept::HasPixelTraits< T >
struct	itk::Concept::HasPixelTraits< T >::HasPixelTraits::Constraints
struct	itk::Concept::HasValueType< T >
struct	itk::Concept::HasValueType< T >::HasValueType::Constraints
struct	itk::Concept::HasZero< T >
struct	itk::Concept::HasZero< T >::HasZero::Constraints
struct	itk::Concept::IncrementDecrementOperators< T >
struct	itk::Concept::IncrementDecrementOperators< T >::IncrementDecrementOperators::Constraints
struct	itk::Concept::IsFixedPoint< T >
struct	itk::Concept::IsFixedPoint< T >::IsFixedPoint::Constraints
struct	itk::Concept::IsFloatingPoint< T >
struct	itk::Concept::IsFloatingPoint< T >::IsFloatingPoint::Constraints
struct	itk::Concept::IsInteger< T >
struct	itk::Concept::IsInteger< T >::IsInteger::Constraints
struct	itk::Concept::IsNonInteger< T >
struct	itk::Concept::IsNonInteger< T >::IsNonInteger::Constraints
struct	itk::Concept::LessThanComparable< T1, T2 >
struct	itk::Concept::LessThanComparable< T1, T2 >::LessThanComparable::Constraints
struct	itk::Concept::LogicalOperators< T1, T2, T3 >
struct	itk::Concept::LogicalOperators< T1, T2, T3 >::LogicalOperators::Constraints
struct	itk::Concept::MultiplyAndAssignOperator< T1, T2 >
struct	itk::Concept::MultiplyAndAssignOperator< T1, T2 >::MultiplyAndAssignOperator::Constraints
struct	itk::Concept::MultiplyOperator< T1, T2, T3 >
struct	itk::Concept::MultiplyOperator< T1, T2, T3 >::MultiplyOperator::Constraints
struct	itk::Concept::NotOperator< T >
struct	itk::Concept::NotOperator< T >::NotOperator::Constraints
struct	itk::Concept::OStreamWritable< T >
struct	itk::Concept::OStreamWritable< T >::OStreamWritable::Constraints
struct	itk::Concept::SameDimension< D1, D2 >
struct	itk::Concept::SameDimension< D1, D2 >::SameDimension::Constraints
struct	itk::Concept::SameDimensionOrMinusOne< D1, D2 >
struct	itk::Concept::SameDimensionOrMinusOne< D1, D2 >::SameDimensionOrMinusOne::Constraints
struct	itk::Concept::SameType< T1, T2 >
struct	itk::Concept::SameType< T1, T2 >::SameType::Constraints
struct	itk::Concept::Signed< T >
struct	itk::Concept::Signed< T >::Signed::Constraints
struct	itk::Concept::Detail::UniqueType< T >
struct	itk::Concept::Detail::UniqueType_bool< bool >
struct	itk::Concept::Detail::UniqueType_int< int >
struct	itk::Concept::Detail::UniqueType_unsigned_int< int >
Namespaces
namespace	itk
namespace	itk::Concept
namespace	itk::Concept::Detail
Defines
#define	ITK_CONCEPT_IMPLEMENTATION_STANDARD
#define	itkConceptConstraintsMacro()
#define	itkConceptMacro(name, concept)   enum { name = sizeof concept }
Functions
template<typename T >
void	itk::Concept::Detail::IgnoreUnusedVariable (T)
template<class T >
void	itk::Concept::Detail::RequireBooleanExpression (const T &t)

---

Define Documentation

#define ITK_CONCEPT_IMPLEMENTATION_STANDARD

Choose a concept checking implementation based on compiler abilities.

Definition at line 38 of file itkConceptChecking.h.

 

#define itkConceptConstraintsMacro

(

)

Value:

template <void (Constraints::*)()> struct Enforcer {}; \
    typedef Enforcer<&Constraints::constraints> EnforcerInstantiation

Define the concept checking implementation chosen above. Standard instantiation-time concept check. No run-time overhead introduced. This implementation is based on "Concept Checking: Binding Parametric Polymorphism in C++" by Jeremy Siek and Andrew Lumsdaine, University of Notre Dame.

Definition at line 55 of file itkConceptChecking.h.

#define itkConceptMacro	(	name,
		concept		)	enum { name = sizeof concept }

Definition at line 58 of file itkConceptChecking.h.