CImplicitFunctionDiff1.h

#pragma once

#if defined(CImplicitFunctionDiff1_RECURSES)
#error Recursive header files inclusion detected in CImplicitFunctionDiff1.h
#else // defined(CImplicitFunctionDiff1_RECURSES)

#define CImplicitFunctionDiff1_RECURSES

#if !defined CImplicitFunctionDiff1_h

#define CImplicitFunctionDiff1_h

// Inclusions
#include <iostream>
#include "DGtal/base/Common.h"
#include "DGtal/shapes/implicit/CImplicitFunction.h"

namespace DGtal
{

  // class CImplicitFunctionDiff1
  template <typename T> 
  struct CImplicitFunctionDiff1 : CImplicitFunction<T>
  {
    // ----------------------- Concept checks ------------------------------
  public:
    // 1. define first provided types (i.e. inner types), like
    typedef typename T::RealPoint RealPoint;
    typedef typename T::RealVector RealVector;

    BOOST_CONCEPT_USAGE( CImplicitFunctionDiff1 )
    {
      // check const methods.
      checkConstConstraints();
    }
    void checkConstConstraints() const
    {
      // const method dummyConst should take parameter myA of type A and return
      // something of type B
      ConceptUtils::sameType( myB, myX.gradient( myA ) );
    }
    // ------------------------- Private Datas --------------------------------
  private:
    T myX; // do not require T to be default constructible.
    RealPoint myA;
    RealVector myB;
    
  }; // end of concept CImplicitFunctionDiff1
  
} // namespace DGtal

//                                                                           //

#endif // !defined CImplicitFunctionDiff1_h

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