/*
 *  Main authors:
 *     Christian Schulte <schulte@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2005
 *
 *  Last modified:
 *     $Date: 2006-08-04 16:06:38 +0200 (Fri, 04 Aug 2006) $ by $Author: schulte $
 *     $Revision: 3516 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

#ifndef __GECODE_LIMITS_HH__
#define __GECODE_LIMITS_HH__

#include <climits>
#include <cfloat>

/*
 * Numerical limits
 *
 */

namespace Gecode { namespace Limits {

  /**
   * \namespace Gecode::Limits
   *  \brief Numerical limits
   *
   * Contains constants describing numerical limits
   * for numbers contained in integer and set variables.
   *
   */

  namespace Int {
    /**
     * \namespace Gecode::Limits::Int
     *  \brief Numerical limits for integer variables
     *
     * The integer limits are chosen such that addition and subtraction
     * of two values within the limits can be done safely without
     * numerical overflow. Also, changing the sign is always possible
     * without overflow.
     *
     */

    /// Largest allowed integer value
    const int int_max        = ((INT_MAX)>>1) - 1;
    /// Smallest allowed integer value
    const int int_min        = -int_max;

    /// Largest double that can exactly be represented
    const double double_max  =  9007199254740991.0;
    /// Smallest double that can exactly be represented
    const double double_min  = -9007199254740991.0;

  }

  namespace Set {
    /**
     * \namespace Gecode::Limits::Set
     *  \brief Numerical limits for set variables
     *
     */

    /// Largest allowed integer in integer set
    const int int_max        = ((INT_MAX)>>2) - 1;
    /// Smallest allowed integer in integer set
    const int int_min        = -int_max;
    /// Maximum cardinality of an integer set
    const unsigned int card_max       = int_max-int_min+1;
  }

}}

#endif

// STATISTICS: kernel-other