Browse Files
      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
     42
     43
     44
     45
     46
     47
     48
     49
     50
     51
     52
     53
     54
     55
     56
#include "Set.hpp"
#include <iostream>

/*
template <unsigned int i, unsigned int ...set>
struct MexSearch
{
    static constexpr unsigned int value = (IsMemberInSet<i, set...>::is_member)
                                        ? MexSearch<i+1,set...>::value
                                        : i;
};
*/

template <unsigned int i, unsigned int ...set>
struct MexSearch;

template <unsigned int i, bool isMember, unsigned int ...set>
struct MexSelect;

template <unsigned int i, unsigned int ...set>
struct MexSelect<i, true, set...>
{
    static constexpr unsigned int value = MexSearch<i+1, set...>::value;
};

template <unsigned int i, unsigned int ...set>
struct MexSelect<i, false, set...>
{
    static constexpr unsigned int value = i;
};

template <unsigned int i, unsigned int ...set>
struct MexSearch
{
    static constexpr bool found = IsMemberInSet<i, set...>::is_member;
    static constexpr unsigned int value = MexSelect<i, found, set...>::value;
};

template <unsigned int ...set>
struct Mex
{
    static constexpr unsigned int value = MexSearch<0, set...>::value;
};

int
main()
{
    std::cout << "Mex<0, 1, 3, 4>::value = "
              << Mex<0, 1, 3, 4>::value << std::endl;
    std::cout << "Mex<0, 1, 2, 3, 4>::value = "
              << Mex<0, 1, 2, 3, 4>::value << std::endl;
    std::cout << "Mex<>::value = "
              << Mex<>::value << std::endl;
    std::cout << Nim<4, 2, 3, 4, 5>::value << std::endl;
    std::cout << Nim<14, 2, 5, 6>::value << std::endl;
}