divide_infinity.h

// Description: Computation of floor(2^w / n)
// Documentation: bit_tricks.txt

#ifndef PASTELSYS_DIVIDE_INFINITY_H
#define PASTELSYS_DIVIDE_INFINITY_H

#include "pastel/sys/mytypes.h"
#include "pastel/sys/integer/integer_concept.h"

namespace Pastel
{

    //! Returns floor(((Integer)Infinity() + 1) / n).
    /*!
   Preconditions:
   n >= 2

   This computation is tricky because inf + 1 = 0
   due to two's complement arithmetic when using
   unsigned integers.
   */
    template <
        typename Integer,
        typename N_Integer,
        Requires<
            Models<Integer, Integer_Concept>,
            Models<N_Integer, Integer_Concept>
        > = 0
    >
    Integer divideInfinity(const N_Integer& n);

}

#include "pastel/sys/math/divide_infinity.hpp"

#endif