/*******************************************************************************
+
+  LEDA 7.2.3  
+
+
+  param_types.h
+
+
+  Copyright (c) 1995-2026
+  by Algorithmic Solutions Software GmbH
+  All rights reserved.
+ 
*******************************************************************************/

#ifndef LEDA_PARAM_TYPES_H
#define LEDA_PARAM_TYPES_H

#if !defined(LEDA_ROOT_INCL_ID)
#define LEDA_ROOT_INCL_ID 723145
#include <LEDA/internal/PREAMBLE.h>
#endif


//----------------------------------------------------------------------------
//
// Parameterized data types store copies of values of arbitrary types T
// in a single data field of type void* (GenPtr). There are two cases
// which have to be treated differently here.
//
// If T is a "big type" (sizeof(T) > sizeof(GenPtr)) we make a copy in the 
// dynamic memory using the new operator and store a pointer to this copy. 
// If T is a "small type" (sizeof(T) <= sizeof(GenPtr)) we avoid the 
// overhead of an extra level of indirection by copying the value directly 
// into the void* data field. This is done by using the "in-place" variant 
// of the new operator. 
//
// Both cases are handled by the "leda_copy" function template defined in this 
// file. Similarly, the two cases (small or big type) have to be treated 
// differently,  when creating ("leda_create"), destroying ("leda_clear"),
// and accessing ("leda_access") data of a parameterized type. Note that 
// destruction of small types uses an an explicit destructor call.
//
// More details on the implementation of parameterized data types in LEDA
// will be given in the text book "LEDA: A Platform ..."  by K. Mehlhorn
// and S. N"aher.
//
//----------------------------------------------------------------------------


LEDA_BEGIN_NAMESPACE

// type id's

enum { UNKNOWN_TYPE_ID,
       CHAR_TYPE_ID, 
       SHORT_TYPE_ID, 
       INT_TYPE_ID, 
       LONG_TYPE_ID, 
       FLOAT_TYPE_ID, 
       DOUBLE_TYPE_ID, 
       PTR_TYPE_ID,
       INTEGER_TYPE_ID,
       RATIONAL_TYPE_ID,
       REAL_TYPE_ID };



// default input operator for pointers

inline istream& operator>>(istream& in, GenPtr)
{ error_handler(1,"stream input operator (>>) not defined"); return in; }



//----------------------------------------------------------------------------
// Function templates for leda_copy, leda_create, leda_clear, leda_cast, 
// leda_access, etc.  Most of these templates distinguish the two cases that 
// the actual type has size greater than the size of a pointer or not, i.e.,
// is a big or small type. Note that this does not cause any overhead at run 
// time since the right case can be determined at compile time. 
//----------------------------------------------------------------------------

template <class T>
inline void* in_place_create(void* p, const T*) { return new (p) T(); }

template <class T>
inline GenPtr leda_create(const T* tp)
{ GenPtr p = 0;
  if (sizeof(T) <= sizeof(GenPtr))
    in_place_create(&p,tp);
  else 
    p =  new T;
  return p;
 }


template <class T>
inline void* in_place_copy(void* p, const T& x) { return new (p) T(x); }

template<class T>
inline GenPtr leda_copy(const T& x)
{ GenPtr p = 0;
  if (sizeof(T) <= sizeof(GenPtr))
    in_place_copy(&p,x);
  else 
    p = new T(x);
  return p;
 }


template <class T>
inline GenPtr leda_cast(const T& x)
{ 
  if (sizeof(T) >  sizeof(GenPtr)) return GenPtr(&x);
  if (sizeof(T) == sizeof(GenPtr)) return *(GenPtr*)(void*)&x;
  if (sizeof(T) <  sizeof(GenPtr)) return leda_copy(x);
}



template <class T>
inline void leda_clear(T& x)
{
  if (sizeof(T) <= sizeof(GenPtr)) 
#if defined(__SUNPRO_CC)
    x.T::~T();
#else
    x.~T();
#endif
  else delete (&x);
}


template <class T>
inline T& leda_access(const T*, GenPtr& p)
{ if (sizeof(T) <= sizeof(GenPtr)) 
    return *(T*)(void*)(&p);
  else 
    return *(T*)p;
 }

template <class T>
inline const T& leda_const_access(const T*, const GenPtr& p)
{ if (sizeof(T) <= sizeof(GenPtr))
    return *(const T*)(&p);
  else 
    return *(const T*)p;
 }




template <class T> 
inline int   leda_type_id(const T*)   { return UNKNOWN_TYPE_ID; }

template <class T>
inline const char* leda_tname(const T*) { return "unknown"; }



//----------------------------------------------------------------------------
// A specialization for "double" using the LEDA memory management 
// if sizeof(double) > sizeof(GenPtr). 
//----------------------------------------------------------------------------


#if defined(WORD_LENGTH_32) 

inline GenPtr leda_copy(const double& x)
{ GenPtr p = std_memory.allocate_bytes(sizeof(double));
  *(double*)p = x; 
  return p;
 }

inline GenPtr leda_create(const double*)
{ GenPtr p = std_memory.allocate_bytes(sizeof(double));
  *(double*)p = 0; 
  return p;
 }

inline void leda_clear(double& x) 
{ std_memory.deallocate_bytes(&x,sizeof(double)); }

inline GenPtr leda_cast(const double& x) 
{ return GenPtr(&x); }

inline double& leda_access(const double*, GenPtr& p) 
{ return *(double*)p; }

inline const double& leda_const_access(const double*, const GenPtr& p) 
{ return *(const double*)p; }

#endif


//----------------------------------------------------------------------------
// type id's
//----------------------------------------------------------------------------

inline int leda_type_id(const char*)   { return CHAR_TYPE_ID; }
inline int leda_type_id(const short*)  { return SHORT_TYPE_ID; }
inline int leda_type_id(const int*)    { return INT_TYPE_ID; }
inline int leda_type_id(const long*)
{ return (sizeof(long) == sizeof(int)) ? INT_TYPE_ID : LONG_TYPE_ID; }
inline int leda_type_id(const float*)  { return FLOAT_TYPE_ID; }
inline int leda_type_id(const double*) { return DOUBLE_TYPE_ID; }


//----------------------------------------------------------------------------
// type names
//----------------------------------------------------------------------------

inline const char* leda_tname(const char*  ) { return "char";   }
inline const char* leda_tname(const short* ) { return "short";  }
inline const char* leda_tname(const int*   ) { return "int";    }
inline const char* leda_tname(const long*  ) { return "long";   }
inline const char* leda_tname(const float* ) { return "float";  }
inline const char* leda_tname(const double*) { return "double"; }
inline const char* leda_tname(const bool*)   { return "bool"; }



//----------------------------------------------------------------------------
// id numbers
//----------------------------------------------------------------------------

#if defined(WORD_LENGTH_32) && !defined(_WIN64)

inline unsigned long ID_Number(const void* x)
{ // return *(unsigned long*)&x;
  union { const void* ptr; unsigned long y; } u = { x };
  return u.y;
}

inline unsigned long ID_Number(char   x) { return (unsigned long)x; }
inline unsigned long ID_Number(short  x) { return (unsigned long)x; }
inline unsigned long ID_Number(int    x) { return (unsigned long)x; }
inline unsigned long ID_Number(long   x) { return (unsigned long)x; }
inline unsigned long ID_Number(unsigned int  x) { return (unsigned long)x; }
inline unsigned long ID_Number(unsigned long x) { return (unsigned long)x; }

#else
// 64 bit

inline unsigned long long ID_Number(const void* x) 
{ //return *(unsigned long long*)&x; 
  union { const void* ptr; unsigned long long y; } u = { x };
  return u.y;
}

inline unsigned long long ID_Number(char   x) { return (unsigned long long)x; }
inline unsigned long long ID_Number(short  x) { return (unsigned long long)x; }
inline unsigned long long ID_Number(int    x) { return (unsigned long long)x; }
inline unsigned long long ID_Number(long   x) { return (unsigned long long)x; }

inline unsigned long long ID_Number(unsigned int  x) 
{ return (unsigned long long)x; }

inline unsigned long long ID_Number(unsigned long x) 
{ return (unsigned long long)x; }

inline unsigned long long ID_Number(unsigned long long x) 
{ return (unsigned long long)x; }

#endif


//----------------------------------------------------------------------------
// pre-defined linear orders  (compare)
//----------------------------------------------------------------------------

#define COMPARE_DECL_PREFIX
//#define COMPARE_DECL_PREFIX template<>

/*
#define DEFINE_DEFAULT_COMPARE(T)          \
inline int compare(const T& x, const T& y) \
{ if (x < y) return -1;                    \
  if (x > y) return +1;                    \
  return 0;                                \
}                                          \

DEFINE_DEFAULT_COMPARE(char)
DEFINE_DEFAULT_COMPARE(unsigned char)
DEFINE_DEFAULT_COMPARE(int)
DEFINE_DEFAULT_COMPARE(unsigned int)
DEFINE_DEFAULT_COMPARE(long)
DEFINE_DEFAULT_COMPARE(unsigned long)
DEFINE_DEFAULT_COMPARE(float)
DEFINE_DEFAULT_COMPARE(double)
*/

template<class T>
inline int compare(const T& x, const T& y) 
{ if (x < y) return -1;
  if (y < x) return +1;
  return 0;
}


template<class T>
class smaller_default {
public:
//bool operator()(const T& x, const T& y) const { return x < y; }
bool operator()(const T& x, const T& y) const { 
  return compare(x,y) < 0; 
}
};


template<class T>
class smaller_cmp_func {
int (*cmp)(const T&, const T&);
public:
smaller_cmp_func(int (*c)(const T&,const T&)) : cmp(c) {}
bool operator()(const T& x, const T& y) const { return  cmp(x,y) < 0; }
};

template<class T, class CMP>
class smaller_cmp_obj {
const CMP& cmp;
public:
smaller_cmp_obj(const CMP& c) : cmp(c) {}
bool operator()(const T& x, const T& y) const { return  cmp(x,y) < 0; }
};



template <class T> 
class leda_cmp_base {

int (*cmp)(const T&,const T&);

bool dynamic;

public:

leda_cmp_base(int (*c)(const T&,const T&)=0, bool dyn = false) {
   cmp = c;
   dynamic = dyn; 
}

bool is_dynamic() const { return dynamic; }

virtual int operator()(const T& x, const T& y) const
{ if (cmp == 0) error_handler(1,"leda_cmp_base: compare undefined");
  return cmp(x,y);
 }

virtual ~leda_cmp_base() {}

LEDA_MEMORY(leda_cmp_base<T>)

};




//----------------------------------------------------------------------------
// pre-defined hash functions (Hash)
//----------------------------------------------------------------------------

inline int Hash(void* x) 
{ //return int(*(long*)&x); 
  union { const void* ptr; int y; } u = {x};
  return u.y;
}

inline int Hash(const signed char&    x) { return int(x); } 
inline int Hash(const signed short&   x) { return int(x); }
inline int Hash(const signed int&     x) { return int(x); }
inline int Hash(const signed long&    x) { return int(x); }
inline int Hash(const unsigned char&  x) { return int(x); } 
inline int Hash(const unsigned short& x) { return int(x); }
inline int Hash(const unsigned int&   x) { return int(x); }
inline int Hash(const unsigned long&  x) { return int(x); }
inline int Hash(const float&          x) { return int(x); }
inline int Hash(const double&         x) { return int(x); }


//----------------------------------------------------------------------------
// default values 
//----------------------------------------------------------------------------

template <class T>
inline void leda_init_default(T& x) { 
   x = T();
/*
  if (std::is_fundamental<T>::value) memset(&x,sizeof(T),0);
*/
}

inline void leda_init_default(char&   x) { x=0; }
inline void leda_init_default(short&  x) { x=0; }
inline void leda_init_default(int&    x) { x=0; }
inline void leda_init_default(long&   x) { x=0; }
inline void leda_init_default(unsigned char&   x) { x=0; }
inline void leda_init_default(unsigned short&  x) { x=0; }
inline void leda_init_default(unsigned int&    x) { x=0; }
inline void leda_init_default(unsigned long&   x) { x=0; }
inline void leda_init_default(float&  x) { x=0; }
inline void leda_init_default(double& x) { x=0; }


//----------------------------------------------------------------------------
// some useful macros 
// (used in data type templates)
//----------------------------------------------------------------------------

#define LEDA_ACCESS(T,p)       leda_access((T*)0, p)
#define LEDA_CONST_ACCESS(T,p) leda_const_access((T*)0, p)
#define LEDA_TYPE_ID(T)        leda_type_id((T*)0)
#define LEDA_TYPE_NAME(T)      leda_tname((T*)0)
#define LEDA_CREATE(T,x)       x=leda_create((T*)0)
#define LEDA_COPY(T,x)         x=leda_copy(LEDA_CONST_ACCESS(T,x))
#define LEDA_CLEAR(T,x)        leda_clear(LEDA_ACCESS(T,x))
#define LEDA_CAST(x)           leda_cast(x)

#define LEDA_CALL1(f,T,x)     (f)(LEDA_CONST_ACCESS(T,x))
#define LEDA_CALL2(f,T,x,y)   (f)(LEDA_CONST_ACCESS(T,x),LEDA_CONST_ACCESS(T,y))

#define LEDA_COMPARE(T,x,y)    LEDA_CALL2(compare,T,x,y)
#define LEDA_HASH(T,x)         LEDA_CALL1(Hash,T,x)

#define LEDA_EQUAL(T,x,y)      (LEDA_CONST_ACCESS(T,x)==LEDA_CONST_ACCESS(T,y))

#define LEDA_PRINT(T,x,out)    out << LEDA_CONST_ACCESS(T,x)
#define LEDA_READ(T,x,in)      LEDA_CREATE(T,x); in >> LEDA_ACCESS(T,x)



#if LEDA_ROOT_INCL_ID == 723145
#undef LEDA_ROOT_INCL_ID
#include <LEDA/internal/POSTAMBLE.h>
#endif


LEDA_END_NAMESPACE

#endif

