ivl/details/core/types/set.hpp

/* This file is part of the ivl C++ library <http://image.ntua.gr/ivl>.
   A C++ template library extending syntax towards mathematical notation.

   Copyright (C) 2012 Yannis Avrithis <iavr@image.ntua.gr>
   Copyright (C) 2012 Kimon Kontosis <kimonas@image.ntua.gr>

   ivl is free software; you can redistribute it and/or modify
   it under the terms of the GNU Lesser General Public License 
   version 3 as published by the Free Software Foundation.

   Alternatively, you can redistribute it and/or modify it under the terms 
   of the GNU General Public License version 2 as published by the Free 
   Software Foundation.

   ivl is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  
   See the GNU General Public License for more details.

   You should have received a copy of the GNU General Public License 
   and a copy of the GNU Lesser General Public License along 
   with ivl. If not, see <http://www.gnu.org/licenses/>. */

#ifndef IVL_CORE_DETAILS_TYPES_SET_HPP
#define IVL_CORE_DETAILS_TYPES_SET_HPP

namespace ivl {

namespace types {

template <class X, class NEXT> struct item {};

template <class SET, class X>
struct in { };

template <template<typename, typename> class SET, class Y, class N, class X>
struct in<SET<Y, N>, X>
:
public t_or<t_eq<X, Y>, in<N, X> > { };

template <class X>
struct in<term, X> : public t_false { };

template <
class X1 = types::term,
class X2 = types::term,
class X3 = types::term,
class X4 = types::term,
class X5 = types::term,
class X6 = types::term,
class X7 = types::term
> struct set
{
        typedef item<X1, item<X2, item<X3, item<X4, item<X5, item<X6, item<X7,
                term> > > > > > > type;
};

} /* namespace types */

} /* namespace ivl */

#endif // IVL_CORE_DETAILS_TYPES_SET_HPP