#ifndef BOOST_MPL_NOT_HPP_INCLUDED

#define BOOST_MPL_NOT_HPP_INCLUDED

// Copyright Aleksey Gurtovoy 2000-2004

//

// Distributed under the Boost Software License, Version 1.0. 

// (See accompanying file LICENSE_1_0.txt or copy at 

// http://www.boost.org/LICENSE_1_0.txt)

//

// See http://www.boost.org/libs/mpl for documentation.

// $Source: /cvsroot/boost/boost/boost/mpl/not.hpp,v $

// $Date: 2004/09/02 15:40:41 $

// $Revision: 1.3 $

#include <boost/mpl/bool.hpp>

#include <boost/mpl/aux_/nttp_decl.hpp>

#include <boost/mpl/aux_/nested_type_wknd.hpp>

#include <boost/mpl/aux_/na_spec.hpp>

#include <boost/mpl/aux_/lambda_support.hpp>

namespace boost { namespace mpl {

namespace aux {

template< BOOST_MPL_AUX_NTTP_DECL(long, C_) > // 'long' is intentional here

struct not_impl

    : bool_<!C_>

{

};

} // namespace aux

template<

      typename BOOST_MPL_AUX_NA_PARAM(T)

    >

struct not_

    : aux::not_impl<

          BOOST_MPL_AUX_NESTED_TYPE_WKND(T)::value

        >

{

    BOOST_MPL_AUX_LAMBDA_SUPPORT(1,not_,(T))

};

BOOST_MPL_AUX_NA_SPEC(1,not_)

}}

#endif // BOOST_MPL_NOT_HPP_INCLUDED