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>
#include "DGtal/base/Common.h"

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 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

} // namespace DGtal

//                                                                           //

#endif // !defined ConceptUtils_h

#undef ConceptUtils_RECURSES
#endif // else defined(ConceptUtils_RECURSES)