← Back to branch summary

~ubuntu-branches/debian/stretch/gecode/stretch

« back to all changes in this revision

Viewing changes to gecode/set/channel.cpp

  • Committer: Package Import Robot
  • Author(s): Kari Pahula
  • Date: 2013-05-25 15:57:32 UTC
  • mfrom: (1.1.17)
  • Revision ID: package-import@ubuntu.com-20130525155732-bltd8lu9my9borhk
Tags: 4.0.0-2
Give make check LD_LIBRARY_PATH=. to make test work without gecode
already installed, to fix FTBFS.

Show diffs side-by-side

added added

removed removed

Lines of Context:
gecode/set/channel.cpp
 
1
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
 
2
/*
 
3
 *  Main authors:
 
4
 *     Denys Duchier <denys.duchier@univ-orleans.fr>
 
5
 *     Guido Tack <tack@gecode.org>
 
6
 *     Christian Schulte <schulte@gecode.org>
 
7
 *
 
8
 *  Copyright:
 
9
 *     Denys Duchier, 2011
 
10
 *     Guido Tack, 2004
 
11
 *     Christian Schulte, 2004
 
12
 *
 
13
 *  Last modified:
 
14
 *     $Date: 2011-11-03 11:52:07 +0100 (Thu, 03 Nov 2011) $ by $Author: tack $
 
15
 *     $Revision: 12452 $
 
16
 *
 
17
 *  This file is part of Gecode, the generic constraint
 
18
 *  development environment:
 
19
 *     http://www.gecode.org
 
20
 *
 
21
 *  Permission is hereby granted, free of charge, to any person obtaining
 
22
 *  a copy of this software and associated documentation files (the
 
23
 *  "Software"), to deal in the Software without restriction, including
 
24
 *  without limitation the rights to use, copy, modify, merge, publish,
 
25
 *  distribute, sublicense, and/or sell copies of the Software, and to
 
26
 *  permit persons to whom the Software is furnished to do so, subject to
 
27
 *  the following conditions:
 
28
 *
 
29
 *  The above copyright notice and this permission notice shall be
 
30
 *  included in all copies or substantial portions of the Software.
 
31
 *
 
32
 *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 
33
 *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 
34
 *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 
35
 *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
 
36
 *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
 
37
 *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
 
38
 *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 
39
 *
 
40
 */
 
41
 
 
42
#include <gecode/set.hh>
 
43
 
 
44
#include <gecode/set/channel.hh>
 
45
 
 
46
namespace Gecode {
 
47
 
 
48
  void
 
49
  channelSorted(Home home, const IntVarArgs& x, SetVar y) {
 
50
    if (home.failed()) return;
 
51
    ViewArray<Int::IntView> xa(home,x);
 
52
    GECODE_ES_FAIL(Set::Channel::ChannelSorted<Set::SetView>::post(home,y,xa));
 
53
  }
 
54
 
 
55
  void
 
56
  channel(Home home, const IntVarArgs& x, const SetVarArgs& y) {
 
57
    if (home.failed()) return;
 
58
    ViewArray<Int::CachedView<Int::IntView> > xa(home,x.size());
 
59
    for (int i=x.size(); i--;)
 
60
      new (&xa[i]) Int::CachedView<Int::IntView>(x[i]);
 
61
    ViewArray<Set::CachedView<Set::SetView> > ya(home,y.size());
 
62
    for (int i=y.size(); i--;)
 
63
      new (&ya[i]) Set::CachedView<Set::SetView>(y[i]);
 
64
    GECODE_ES_FAIL((Set::Channel::ChannelInt<Set::SetView>::post(home,xa,ya)));
 
65
  }
 
66
 
 
67
  void
 
68
  channel(Home home, const BoolVarArgs& x, SetVar y) {
 
69
    if (home.failed()) return;
 
70
    ViewArray<Int::BoolView> xv(home,x);
 
71
    GECODE_ES_FAIL((Set::Channel::ChannelBool<Set::SetView>
 
72
                         ::post(home,xv,y)));
 
73
  }
 
74
 
 
75
  void
 
76
  channel(Home home, const SetVarArgs& x, const SetVarArgs& y)
 
77
  {
 
78
    if (home.failed()) return;
 
79
    ViewArray<Set::CachedView<Set::SetView> > xa(home, x.size());
 
80
    for (int i=x.size(); i--;)
 
81
      new (&xa[i]) Int::CachedView<Set::SetView>(x[i]);
 
82
    ViewArray<Set::CachedView<Set::SetView> > ya(home, y.size());
 
83
    for (int i=y.size(); i--;)
 
84
      new (&ya[i]) Set::CachedView<Set::SetView>(y[i]);
 
85
    GECODE_ES_FAIL((Set::Channel::ChannelSet<Set::SetView>::post(home,xa,ya)));
 
86
  }
 
87
 
 
88
}
 
89
 
 
90
// STATISTICS: set-post