dep-selector-libgecode 1.0.0.alpha.0

data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/set.vis

@@ -0,0 +1,197 @@
+#
+#  Main authors:
+#     Guido Tack <tack@gecode.org>
+#
+#  Contributing authors:
+#     Christian Schulte <schulte@gecode.org>
+#
+#  Copyright:
+#     Guido Tack, 2004
+#     Christian Schulte, 2006
+#
+#  Last modified:
+#     $Date: 2010-06-29 18:42:27 +1000 (Tue, 29 Jun 2010) $ by $Author: schulte $
+#     $Revision: 11119 $
+#
+#  This file is part of Gecode, the generic constraint
+#  development environment:
+#     http://www.gecode.org
+#
+#  Permission is hereby granted, free of charge, to any person obtaining
+#  a copy of this software and associated documentation files (the
+#  "Software"), to deal in the Software without restriction, including
+#  without limitation the rights to use, copy, modify, merge, publish,
+#  distribute, sublicense, and/or sell copies of the Software, and to
+#  permit persons to whom the Software is furnished to do so, subject to
+#  the following conditions:
+#
+#  The above copyright notice and this permission notice shall be
+#  included in all copies or substantial portions of the Software.
+#
+#  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+#  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+#  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+#  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+#  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+#
+
+[General]
+Name:           Set
+Namespace:      Gecode::Set
+Ifdef:          GECODE_HAS_SET_VARS
+Bits:           0
+Dispose:        false
+[ModEventHeader]
+  /**
+   * \defgroup TaskActorSetMEPC Set modification events and propagation conditions
+   * \ingroup TaskActorSet
+   */
+  //@{
+[ModEvent]
+Name:           FAILED=FAILED
+  /// Domain operation has resulted in failure
+[ModEvent]
+Name:           NONE=NONE
+  /// Domain operation has not changed domain
+[ModEvent]
+Name:           VAL=ASSIGNED
+Combine:        VAL=VAL,CARD=VAL,LUB=VAL,GLB=VAL,BB=VAL,CLUB=VAL,CGLB=VAL,CBB=VAL
+  /// Domain operation has resulted in a value (assigned variable)
+[ModEvent]
+Name:           CARD
+Combine:        VAL=VAL,CARD=CARD,LUB=CLUB,GLB=CGLB,BB=CBB,CLUB=CLUB,CGLB=CGLB,CBB=CBB
+  /**
+   * \brief Domain operation has changed the variable cardinality
+   *
+   * Note that this implies that the domain has not resulted in a value.
+   */
+[ModEvent]
+Name:           LUB
+Combine:        VAL=VAL,CARD=CLUB,LUB=LUB,GLB=BB,BB=BB,CLUB=CLUB,CGLB=CGLB,CBB=CBB
+  /**
+   * \brief Domain operation has changed the least upper bound
+   *
+   * Note that this implies that the domain has not resulted in a value
+   * and that also neither cardinality nor the greatest lower bound
+   * have changed.
+   */
+[ModEvent]
+Name:           GLB
+Combine:        VAL=VAL,CARD=CGLB,LUB=BB,GLB=GLB,BB=BB,CLUB=CBB,CGLB=CGLB,CBB=CBB
+  /**
+   * \brief Domain operation has changed the greatest lower bound
+   *
+   * Note that this implies that the domain has not resulted in a value
+   * and that also neither cardinality nor the least upper bound
+   * have changed.
+   */
+[ModEvent]
+Name:           BB
+Combine:        VAL=VAL,CARD=CBB,LUB=BB,GLB=BB,BB=BB,CLUB=CBB,CGLB=CBB,CBB=CBB
+  /**
+   * \brief Domain operation has changed both greatest lower and least
+   * upper bound
+   *
+   * Note that this implies that the domain has not resulted in a value
+   * and that also the cardinality has not changed.
+   */
+[ModEvent]
+Name:           CLUB
+Combine:        VAL=VAL,CARD=CLUB,LUB=CLUB,GLB=CBB,BB=CBB,CLUB=CLUB,CGLB=CBB,CBB=CBB
+  /**
+   * \brief Domain operation has changed the least upper bound and the cardinality
+   *
+   * Note that this implies that the domain has not resulted in a value
+   * and that also the greatest lower bound has not changed.
+   */
+[ModEvent]
+Name:           CGLB
+Combine:        VAL=VAL,CARD=CGLB,LUB=CBB,GLB=CGLB,BB=CBB,CLUB=CBB,CGLB=CGLB,CBB=CBB
+  /**
+   * \brief Domain operation has changed the greatest lower bound and the cardinality
+   *
+   * Note that this implies that the domain has not resulted in a value
+   * and that also the least upper bound has not changed.
+   */
+[ModEvent]
+Name:           CBB=SUBSCRIBE
+Combine:        VAL=VAL,CARD=CBB,LUB=CBB,GLB=CBB,BB=CBB,CLUB=CBB,CGLB=CBB,CBB=CBB
+  /**
+   * \brief Domain operation has changed both the greatest lower bound and
+   * the least upper bound, as well as the cardinality
+   *
+   * Note that this implies that the domain has not resulted in a value.
+   *
+   * If a propagator subscribes to this variable, it will be processed
+   * assuming a ME_SET_CBB modification event.
+   *
+   */
+[ModEventFooter]
+[PropCondHeader]
+[PropCond]
+Name:           NONE=NONE
+  /// Propagation condition to be ignored (convenience)
+[PropCond]
+Name:           VAL=ASSIGNED
+ScheduledBy:    VAL
+  /**
+   * \brief Propagate when a view becomes assigned (single value)
+   *
+   * If a propagator \a p depends on a view \a x with propagation
+   * condition PC_SET_VAL, then \a p is propagated when a domain
+   * update operation on \a x returns the modification event ME_SET_VAL.
+   */
+[PropCond]
+Name:           CARD
+ScheduledBy:    VAL,CARD,CGLB,CLUB,CBB
+  /**
+   * \brief Propagate when the cardinality of a view changes
+   *
+   * If a propagator \a p depends on a view \a x with propagation
+   * condition PC_SET_CARD, then \a p is propagated when a domain
+   * update operation on \a x returns the modification event ME_SET_VAL,
+   * ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB, or ME_SET_CBB.
+   */
+[PropCond]
+Name:           CLUB
+ScheduledBy:    VAL,CARD,LUB,BB,CLUB,CGLB,CBB
+  /**
+   * \brief Propagate when the cardinality or the least upper bound
+   * of a view changes
+   *
+   * If a propagator \a p depends on a view \a x with propagation
+   * condition PC_SET_CLUB, then \a p is propagated when a domain
+   * update operation on \a x returns the modification event ME_SET_VAL,
+   * ME_SET_LUB, ME_SET_BB, ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB,
+   * or ME_SET_CBB.
+   */
+[PropCond]
+Name:           CGLB
+ScheduledBy:    VAL,CARD,GLB,BB,CLUB,CGLB,CBB
+  /**
+   * \brief Propagate when the cardinality or the greatest lower bound
+   * of a view changes
+   *
+   * If a propagator \a p depends on a view \a x with propagation
+   * condition PC_SET_CGLB, then \a p is propagated when a domain
+   * update operation on \a x returns the modification event ME_SET_VAL,
+   * ME_SET_GLB, ME_SET_BB, ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB,
+   * or ME_SET_CBB.
+   */
+[PropCond]
+Name:           ANY
+ScheduledBy:    VAL,CARD,LUB,GLB,BB,CLUB,CGLB,CBB
+  /**
+   * \brief Propagate when any bound or the cardinality
+   * of a view changes
+   *
+   * If a propagator \a p depends on a view \a x with propagation
+   * condition PC_SET_ANY, then \a p is propagated when a domain
+   * update operation on \a x returns any modification event but ME_SET_FAILED
+   * and ME_SET_NONE.
+   */
+[PropCondFooter]
+  //@}
+[End]

data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/print.hpp

@@ -0,0 +1,49 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2008
+ *
+ *  Last modified:
+ *     $Date: 2008-12-08 22:03:39 +1100 (Mon, 08 Dec 2008) $ by $Author: schulte $
+ *     $Revision: 7994 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+namespace Gecode {
+
+  template<class Char, class Traits>
+  inline std::basic_ostream<Char,Traits>&
+  operator <<(std::basic_ostream<Char,Traits>& os, const SetVar& x) {
+    Gecode::Set::SetView vx(x);
+    return os << vx;
+  }
+
+}
+
+// STATISTICS: set-var

data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/set.cpp

@@ -0,0 +1,111 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *     Christian Schulte <schulte@gecode.org>
+ *     Gabor Szokoli <szokoli@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004
+ *     Christian Schulte, 2004
+ *     Gabor Szokoli, 2004
+ *
+ *  Last modified:
+ *     $Date: 2010-09-01 00:19:34 +1000 (Wed, 01 Sep 2010) $ by $Author: schulte $
+ *     $Revision: 11366 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+
+#include <gecode/set.hh>
+
+namespace Gecode {
+
+  SetVar::SetVar(Space& home)
+    : VarImpVar<Set::SetVarImp>(new (home) Set::SetVarImp(home)) {}
+
+  SetVar::SetVar(Space& home,int lbMin,int lbMax,int ubMin,int ubMax,
+                 unsigned int minCard, unsigned int maxCard)
+    : VarImpVar<Set::SetVarImp>(new (home) Set::SetVarImp(home,lbMin,lbMax,
+                                                          ubMin,ubMax,
+                                                          minCard,maxCard)) {
+    Set::Limits::check(lbMin,"SetVar::SetVar");
+    Set::Limits::check(lbMax,"SetVar::SetVar");
+    Set::Limits::check(ubMin,"SetVar::SetVar");
+    Set::Limits::check(ubMax,"SetVar::SetVar");
+    Set::Limits::check(maxCard,"SetVar::SetVar");
+    if (minCard > maxCard || minCard > lubSize() || maxCard < glbSize() ||
+        lbMin < ubMin || lbMax > ubMax)
+      throw Set::VariableEmptyDomain("SetVar::SetVar");
+  }
+
+  SetVar::SetVar(Space& home, const IntSet& glb,int ubMin,int ubMax,
+                 unsigned int minCard, unsigned int maxCard)
+    : VarImpVar<Set::SetVarImp>(new (home) Set::SetVarImp(home,glb,ubMin,ubMax,
+                                                          minCard,maxCard)) {
+    Set::Limits::check(glb,"SetVar::SetVar");
+    Set::Limits::check(ubMin,"SetVar::SetVar");
+    Set::Limits::check(ubMax,"SetVar::SetVar");
+    Set::Limits::check(maxCard,"SetVar::SetVar");
+    if (minCard > maxCard || minCard > lubSize() || maxCard < glbSize() ||
+        glb.min() < ubMin || glb.max() > ubMax)
+      throw Set::VariableEmptyDomain("SetVar::SetVar");
+  }
+
+  SetVar::SetVar(Space& home,int lbMin,int lbMax,const IntSet& lub,
+                 unsigned int minCard, unsigned int maxCard)
+    : VarImpVar<Set::SetVarImp>(new (home) Set::SetVarImp(home,lbMin,lbMax,lub,
+                                                          minCard,maxCard)) {
+    Set::Limits::check(lbMin,"SetVar::SetVar");
+    Set::Limits::check(lbMax,"SetVar::SetVar");
+    Set::Limits::check(lub,"SetVar::SetVar");
+    Set::Limits::check(maxCard,"SetVar::SetVar");
+    Iter::Ranges::Singleton glbr(lbMin,lbMax);
+    IntSetRanges lubr(lub);
+    if (minCard > maxCard || minCard > lubSize() || maxCard < glbSize() ||
+        !Iter::Ranges::subset(glbr,lubr))
+      throw Set::VariableEmptyDomain("SetVar::SetVar");
+  }
+
+  SetVar::SetVar(Space& home,
+                 const IntSet& glb, const IntSet& lub,
+                 unsigned int minCard, unsigned int maxCard)
+    : VarImpVar<Set::SetVarImp>(new (home) Set::SetVarImp(home,glb,lub,minCard,
+                                                          maxCard)) {
+    Set::Limits::check(glb,"SetVar::SetVar");
+    Set::Limits::check(lub,"SetVar::SetVar");
+    Set::Limits::check(maxCard,"SetVar::SetVar");
+    IntSetRanges glbr(glb);
+    IntSetRanges lubr(lub);
+    if (minCard > maxCard || minCard > lubSize() || maxCard < glbSize() ||
+        !Iter::Ranges::subset(glbr,lubr))
+      throw Set::VariableEmptyDomain("SetVar::SetVar");
+  }
+
+}
+
+// STATISTICS: set-var
+

data/ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/set.hpp

@@ -0,0 +1,254 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *     Christian Schulte <schulte@gecode.org>
+ *     Gabor Szokoli <szokoli@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2004
+ *     Christian Schulte, 2004
+ *     Gabor Szokoli, 2004
+ *
+ *  Last modified:
+ *     $Date: 2010-09-01 00:19:34 +1000 (Wed, 01 Sep 2010) $ by $Author: schulte $
+ *     $Revision: 11366 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+namespace Gecode {
+
+  /*
+   * Constructors and access
+   *
+   */
+
+  forceinline
+  SetVar::SetVar(void) {}
+
+  forceinline
+  SetVar::SetVar(const SetVar& y)
+    : VarImpVar<Set::SetVarImp>(y.varimp()) {}
+
+  forceinline
+  SetVar::SetVar(const Set::SetView& y)
+    : VarImpVar<Set::SetVarImp>(y.varimp()) {}
+
+
+  /*
+   * Variable information
+   *
+   */
+
+  forceinline unsigned int
+  SetVar::glbSize(void) const { return x->glbSize(); }
+
+  forceinline unsigned int
+  SetVar::lubSize(void) const { return x->lubSize(); }
+
+  forceinline unsigned int
+  SetVar::unknownSize(void) const { return x->lubSize()-x->glbSize(); }
+
+  forceinline bool
+  SetVar::contains(int i) const { return x->knownIn(i); }
+
+  forceinline bool
+  SetVar::notContains(int i) const { return x->knownOut(i); }
+
+  forceinline unsigned int
+  SetVar::cardMin(void) const { return x->cardMin(); }
+
+  forceinline unsigned int
+  SetVar::cardMax(void) const { return x->cardMax(); }
+
+  forceinline int
+  SetVar::lubMin(void) const { return x->lubMin(); }
+
+  forceinline int
+  SetVar::lubMax(void) const { return x->lubMax(); }
+
+  forceinline int
+  SetVar::glbMin(void) const { return x->glbMin(); }
+
+  forceinline int
+  SetVar::glbMax(void) const { return x->glbMax(); }
+
+
+
+  /*
+   * Range and value iterators for set variables
+   *
+   */
+
+  forceinline
+  SetVarGlbRanges::SetVarGlbRanges(void) {}
+
+  forceinline
+  SetVarGlbRanges::SetVarGlbRanges(const SetVar& s)
+    : iter(s.varimp()) {}
+
+  forceinline
+  bool
+  SetVarGlbRanges::operator ()(void) const { return iter(); }
+
+  forceinline
+  void
+  SetVarGlbRanges::operator ++(void) { ++iter; }
+
+  forceinline
+  int
+  SetVarGlbRanges::min(void) const { return iter.min(); }
+
+  forceinline
+  int
+  SetVarGlbRanges::max(void) const { return iter.max(); }
+
+  forceinline
+  unsigned int
+  SetVarGlbRanges::width(void) const { return iter.width(); }
+
+  forceinline
+  SetVarLubRanges::SetVarLubRanges(void) {}
+
+  forceinline
+  SetVarLubRanges::SetVarLubRanges(const SetVar& s)
+    : iter(s.varimp()) {}
+
+  forceinline
+  bool
+  SetVarLubRanges::operator ()(void) const { return iter(); }
+
+  forceinline
+  void
+  SetVarLubRanges::operator ++(void) { ++iter; }
+
+  forceinline
+  int
+  SetVarLubRanges::min(void) const { return iter.min(); }
+
+  forceinline
+  int
+  SetVarLubRanges::max(void) const { return iter.max(); }
+
+  forceinline
+  unsigned int
+  SetVarLubRanges::width(void) const { return iter.width(); }
+
+  forceinline
+  SetVarUnknownRanges::SetVarUnknownRanges(void) {}
+
+  forceinline
+  SetVarUnknownRanges::SetVarUnknownRanges(const SetVar& s) {
+    iter.init(s.varimp());
+  }
+
+  forceinline
+  bool
+  SetVarUnknownRanges::operator ()(void) const { return iter(); }
+
+  forceinline
+  void
+  SetVarUnknownRanges::operator ++(void) { ++iter; }
+
+  forceinline
+  int
+  SetVarUnknownRanges::min(void) const { return iter.min(); }
+
+  forceinline
+  int
+  SetVarUnknownRanges::max(void) const { return iter.max(); }
+
+  forceinline
+  unsigned int
+  SetVarUnknownRanges::width(void) const { return iter.width(); }
+
+  forceinline
+  SetVarGlbValues::SetVarGlbValues(const SetVar& x) {
+    SetVarGlbRanges ivr(x);
+    iter.init(ivr);
+  }
+
+  forceinline bool
+  SetVarGlbValues::operator ()(void) const {
+    return iter();
+  }
+
+  forceinline void
+  SetVarGlbValues::operator ++(void) {
+    ++iter;
+  }
+
+  forceinline int
+  SetVarGlbValues::val(void) const {
+    return iter.val();
+  }
+
+  forceinline
+  SetVarLubValues::SetVarLubValues(const SetVar& x) {
+    SetVarLubRanges ivr(x);
+    iter.init(ivr);
+  }
+
+  forceinline bool
+  SetVarLubValues::operator ()(void) const {
+    return iter();
+  }
+
+  forceinline void
+  SetVarLubValues::operator ++(void) {
+    ++iter;
+  }
+
+  forceinline int
+  SetVarLubValues::val(void) const {
+    return iter.val();
+  }
+
+  forceinline
+  SetVarUnknownValues::SetVarUnknownValues(const SetVar& x) {
+    SetVarUnknownRanges ivr(x);
+    iter.init(ivr);
+  }
+
+  forceinline bool
+  SetVarUnknownValues::operator ()(void) const {
+    return iter();
+  }
+
+  forceinline void
+  SetVarUnknownValues::operator ++(void) {
+    ++iter;
+  }
+
+  forceinline int
+  SetVarUnknownValues::val(void) const {
+    return iter.val();
+  }
+
+}
+
+// STATISTICS: set-var
+