Front Page / Metafunctions / Logical Operations / not_

# not_

### Synopsis

    template<
          typename F
        >
    struct not_
    {
        typedef unspecified type;
    };

### Description

Returns the result of logical not (`!`) operation on its argument.

### Header

    #include <boost/mpl/not.hpp>
    #include <boost/mpl/logical.hpp>

### Parameters

Parameter | Requirement | Description
--- | --- | ---
`F` | Nullary Metafunction | Operation's argument.

### Expression semantics

For arbitrary nullary Metafunction `f`:

    typedef not_<f>::type r;

Return type: | Integral Constant.

Semantics:

Equivalent to

    typedef bool_< (!f::type::value) > r;

    typedef not_<f> r;

Return type: | Integral Constant.

Semantics:

Equivalent to

    struct r : not_<f>::type {};

### Example

    BOOST_MPL_ASSERT_NOT(( not_< true_ > ));
    BOOST_MPL_ASSERT(( not_< false_ > ));

### See also

Metafunctions, Logical Operations, `and_`, `or_`