CCommutativeRing.h

 
#pragma once

 
#if defined(CCommutativeRing_RECURSES)
#error Recursive header files inclusion detected in CCommutativeRing.h
#else // defined(CCommutativeRing_RECURSES)
#define CCommutativeRing_RECURSES
 
#if !defined CCommutativeRing_h
#define CCommutativeRing_h

// Inclusions
#include <iostream>
#include "DGtal/base/Common.h"
#include "DGtal/kernel/CSignedNumber.h"
#include "DGtal/kernel/NumberTraits.h"
 
namespace DGtal
{
  namespace concepts
  {
  // class CCommutativeRing
  template <typename T>
  struct CCommutativeRing : concepts::CSignedNumber<T>
  {
    // ----------------------- Concept checks ------------------------------
  public:
 
    BOOST_CONCEPT_USAGE( CCommutativeRing )
    {
      ConceptUtils::sameType( c, T( 25 ) );
      ConceptUtils::sameType( c, T( -25 ) );
      ConceptUtils::sameType( c, T( a+b ) );
      ConceptUtils::sameType( c, T( -a ) );
      ConceptUtils::sameType( c, T( a-b ) );
      ConceptUtils::sameType( c, T( a*b ) );
      ConceptUtils::sameType( c, T( 0 ) );
      ConceptUtils::sameType( c, T( 1 ) );

    }
    // ------------------------- Internals ------------------------------------
  private:
    T a,b,c;
 
  };
  }
} // namespace DGtal
 
 
//                                                                           //
 
#endif // !defined CCommutativeRing_h
 
#undef CCommutativeRing_RECURSES
#endif // else defined(CCommutativeRing_RECURSES)