| Front Page / Metafunctions / Logical Operations / and_ | 
template<
      typename F1
    , typename F2
    ...
    , typename Fn = unspecified
    >
struct and_
{
    typedef unspecified type;
};
Returns the result of short-circuit logical and (&&) operation on its arguments.
#include <boost/mpl/and.hpp> #include <boost/mpl/logical.hpp>
| Parameter | Requirement | Description | 
|---|---|---|
| F1, F2,... Fn | Nullary Metafunction | Operation's arguments. | 
For arbitrary nullary Metafunctions f1, f2,... fn:
typedef and_<f1,f2,...,fn>::type r;
| Return type: | Integral Constant. | 
|---|---|
| Semantics: | r is false_ if either of f1::type::value, f2::type::value,... fn::type::value expressions evaluates to false, and true_ otherwise; guarantees left-to-right evaluation; the operands subsequent to the first fi metafunction that evaluates to false are not evaluated. | 
typedef and_<f1,f2,...,fn> r;
| Return type: | |
|---|---|
| Semantics: | Equivalent to struct r : and_<f1,f2,...,fn>::type {}; | 
struct unknown; BOOST_MPL_ASSERT(( and_< true_,true_ > )); BOOST_MPL_ASSERT_NOT(( and_< false_,true_ > )); BOOST_MPL_ASSERT_NOT(( and_< true_,false_ > )); BOOST_MPL_ASSERT_NOT(( and_< false_,false_ > )); BOOST_MPL_ASSERT_NOT(( and_< false_,unknown > )); // OK BOOST_MPL_ASSERT_NOT(( and_< false_,unknown,unknown > )); // OK too