main page modules namespaces classes files
Gecode home

search for 

ranges-values.icc

Go to the documentation of this file.

/*
 *  Main authors:
 *     Christian Schulte <schulte@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2004
 *
 *  Last modified:
 *     $Date: 2006-08-04 16:05:50 +0200 (Fri, 04 Aug 2006) $ by $Author: schulte $
 *     $Revision: 3515 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

namespace Gecode { namespace Iter { namespace Ranges {

  template <class I>
  class ToValues {
  protected:
    I i;
    int cur;
    int max;
    void start(void);
  public:


    ToValues(void);
    ToValues(I& i);
    void init(I& i);



    bool operator()(void) const;
    void operator++(void);



    int  val(void) const;
  };



  template <class I>
  forceinline
  ToValues<I>::ToValues(void) {}

  template <class I>
  forceinline void
  ToValues<I>::start(void) {
    if (i()) {
      cur = i.min(); max = i.max();
    } else {
      cur = 1;       max = 0;
    }
  }

  template <class I>
  forceinline
  ToValues<I>::ToValues(I& i0)
    : i(i0) {
    start();
  }

  template <class I>
  forceinline void
  ToValues<I>::init(I& i0) {
    i = i0;
    start();
  }


  template <class I>
  forceinline bool
  ToValues<I>::operator()(void) const {
    return (cur <= max);
  }

  template <class I>
  forceinline void
  ToValues<I>::operator++(void) {
    ++cur;
    if (cur > max) {
      ++i;
      if (i()) {
        cur = i.min(); max = i.max();
      }
    }
  }

  template <class I>
  forceinline int
  ToValues<I>::val(void) const {
    return cur;
  }

}}}

// STATISTICS: iter-any