ConceptUtils.h

 
#pragma once

 
#if defined(ConceptUtils_RECURSES)
#error Recursive header files inclusion detected in ConceptUtils.h
#else // defined(ConceptUtils_RECURSES)
#define ConceptUtils_RECURSES
 
#if !defined ConceptUtils_h
#define ConceptUtils_h

// Inclusions
#include <iostream>
 
namespace DGtal
{
  struct TagFalse{};

  struct TagTrue{};

  struct TagUnknown{};

  template<typename T>
  struct Negate
  { typedef TagUnknown type; };
  template<>
  struct Negate<TagTrue>
  { typedef TagFalse type; };
  template<>
  struct Negate<TagFalse>
  { typedef TagTrue type; };

  template <class T>
  struct DummyObject : public boost::static_object<T>
  {};

// Namespace ConceptUtils
  namespace concepts
  {
namespace ConceptUtils
{
  template<typename T1, typename T2>
  struct SameType
  { static const bool value = false; };
 
  template<typename T>
  struct SameType<T,T>
  { static const bool value = true; };

  template <typename T>
  void sameType( const T & /* t1 */, const T & /* t2 */ ) {}

  template<typename T>
  struct CheckTrue
  { static const bool value = false; };
  template<>
  struct CheckTrue<TagTrue>
  { static const bool value = true; };

  template<typename T>
  struct CheckFalse
  { static const bool value = !CheckTrue<T>::value; };

  template<typename T>
  struct CheckUnknown
  { static const bool value = false; };
  template<>
  struct CheckUnknown<TagUnknown>
  { static const bool value = true; };

  template<typename T>
  struct CheckTrueOrFalse
  { static const bool value = CheckTrue<T>::value||CheckFalse<T>::value; };

  template<typename T>
  struct CheckTag
  { static const bool value = CheckTrueOrFalse<T>::value||CheckUnknown<T>::value; };

  void checkTrue( const TagTrue & tag );

  void checkFalse( const TagFalse & tag );

  void checkUnknown( const TagUnknown & tag );

  void checkTag( const TagUnknown & tag );

  void checkTag( const TagTrue & tag );

  void checkTag( const TagFalse & tag );

  void checkTrueOrFalse( const TagFalse & tag );

  void checkTrueOrFalse( const TagTrue & tag );
 
 
} // end of namespace ConceptUtils
  } //end of namespace concepts.
} // namespace DGtal
 
//                                                                           //
 
#endif // !defined ConceptUtils_h
 
#undef ConceptUtils_RECURSES
#endif // else defined(ConceptUtils_RECURSES)