Blame view

3rdparty/boost_1_81_0/libs/mpl/test/logical.cpp 1.13 KB
73ef4ff3   Hu Chunming   提交三方库
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
  
  // 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.
  
  // $Id$
  // $Date$
  // $Revision$
  
  #include <boost/mpl/logical.hpp>
  #include <boost/mpl/bool.hpp>
  #include <boost/mpl/aux_/test.hpp>
  
  struct unknown;
  
  using mpl::true_;
  using mpl::false_;
  
  MPL_TEST_CASE()
  {
      MPL_ASSERT(( mpl::and_< true_,true_ > ));
      MPL_ASSERT_NOT(( mpl::and_< false_,true_ > ));
      MPL_ASSERT_NOT(( mpl::and_< true_,false_ > ));
      MPL_ASSERT_NOT(( mpl::and_< false_,false_ > ));
      MPL_ASSERT_NOT(( mpl::and_< false_,unknown > ));
      MPL_ASSERT_NOT(( mpl::and_< false_,unknown,unknown > ));
  
      MPL_ASSERT(( mpl::or_< true_,true_ > ));
      MPL_ASSERT(( mpl::or_< false_,true_ > ));
      MPL_ASSERT(( mpl::or_< true_,false_ > ));
      MPL_ASSERT_NOT(( mpl::or_< false_,false_ > ));
      MPL_ASSERT(( mpl::or_< true_,unknown > ));
      MPL_ASSERT(( mpl::or_< true_,unknown,unknown > ));
  
      MPL_ASSERT_NOT(( mpl::not_< true_ > ));
      MPL_ASSERT(( mpl::not_< false_ > ));
  }