---

more/gen/partial_ordering_product.h

Go to the documentation of this file.

//  Copyright (C) 2001  Petter Urkedal (petter.urkedal@matfys.lth.se)
//
//  This file is free software; you can redistribute it and/or modify
//  it under the terms of the GNU General Public License as published by
//  the Free Software Foundation; either version 2 of the License, or
//  (at your option) any later version.
//
//  This file 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
//  along with this program; if not, write to the Free Software
//  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
//
//  As a special exception, you may use this file as part of a free
//  software library without restriction.  Specifically, if other files
//  instantiate templates or use macros or inline functions from this
//  file, or you compile this file and link it with other files to
//  produce an executable, this file does not by itself cause the
//  resulting executable to be covered by the GNU General Public
//  License.  This exception does not however invalidate any other
//  reasons why the executable file might be covered by the GNU General
//  Public License.
//
//  $Id: partial_ordering_product.h,v 1.1 2002/05/30 18:01:37 petter_urkedal Exp $

#ifndef MORE_GEN_PARTIAL_ORDERING_PRODUCT_H
#define MORE_GEN_PARTIAL_ORDERING_PRODUCT_H

#include <more/gen/partial_ordering.h>

namespace more {
namespace gen {

  template< typename T, template <typename> class Container = std::vector >
    struct partial_ordering_product {
      private: // XXX
        typedef more::partial_ordering<T> component_partial_ordering;
        typedef typename partial_ordering_type::element component_element;
      public:
        explicit partial_ordering_product(partial_ordering* o)
            : m_ordering(o) {}

        struct element {
            typedef Container<T> value_type;
            typedef value_type& reference;
            typedef value_type* pointer;
            reference operator*() { update_value(); return *value; }
            pointer operator->() { update_value(); return value; }
          private:

            Container<component_type> v;
            value_type* value;
        };

      private:
        partial_ordering<T>* m_ordering;
    };

}} // more::gen

#endif

---