pair.cpp
Go to the documentation of this file.
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
* Main authors:
* Christian Schulte <schulte@gecode.org>
*
* Copyright:
* Christian Schulte, 2009
*
* 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/int/element.hh>
namespace Gecode { namespace Int { namespace Element {
Actor*
Pair::copy(Space& home) {
return new (home) Pair(home,*this);
}
class PairValues {
private:
IntView x;
ViewValues<IntView> xv;
ViewValues<IntView> yv;
int w;
public:
PairValues(IntView x, IntView y, int w);
bool operator ()(void) const;
void operator ++(void);
int val(void) const;
};
forceinline
PairValues::PairValues(IntView x0, IntView y0, int w0)
: x(x0), xv(x0), yv(y0), w(w0) {}
forceinline void
PairValues::operator ++(void) {
++xv;
if (!xv()) {
xv.init(x); ++yv;
}
}
forceinline bool
PairValues::operator ()(void) const {
return yv();
}
forceinline int
PairValues::val(void) const {
return xv.val()+w*yv.val();
}
ExecStatus
Pair::propagate(Space& home, const ModEventDelta&) {
Region r;
if (x0.assigned()) {
// Bitset for supported div and mod values
Support::BitSet<Region> d(r,static_cast<unsigned int>((x2.max() / w)+1));
for (ViewValues<IntView> i(x2); i(); ++i) {
d.set(static_cast<unsigned int>(i.val() / w));
}
Iter::Values::BitSet<Support::BitSet<Region> > id(d,x1.min(),x1.max());
GECODE_ME_CHECK(x1.inter_v(home,id,false));
} else {
// Bitset for supported div and mod values
Support::BitSet<Region>
d(r,static_cast<unsigned int>((x2.max() / w)+1)),
m(r,static_cast<unsigned int>(w));
for (ViewValues<IntView> i(x2); i(); ++i) {
d.set(static_cast<unsigned int>(i.val() / w));
m.set(static_cast<unsigned int>(i.val() % w));
}
Iter::Values::BitSet<Support::BitSet<Region> > im(m,x0.min(),x0.max());
GECODE_ME_CHECK(x0.inter_v(home,im,false));
Iter::Values::BitSet<Support::BitSet<Region> > id(d,x1.min(),x1.max());
GECODE_ME_CHECK(x1.inter_v(home,id,false));
}
if (x0.assigned() && x1.assigned()) {
GECODE_ME_CHECK(x2.eq(home,x0.val()+w*x1.val()));
return home.ES_SUBSUMED(*this);
} else if (x1.assigned()) {
OffsetView x0x1w(x0,x1.val()*w);
GECODE_REWRITE(*this,(Rel::EqDom<OffsetView,IntView>
::post(home(*this),x0x1w,x2)));
}
PairValues xy(x0,x1,w);
GECODE_ME_CHECK(x2.inter_v(home,xy,false));
if (x2.assigned()) {
GECODE_ME_CHECK(x0.eq(home,x2.val() % w));
GECODE_ME_CHECK(x1.eq(home,static_cast<int>(x2.val() / w)));
return home.ES_SUBSUMED(*this);
}
return ES_NOFIX;
}
}}}
// STATISTICS: int-prop
Gecode::Int::Element::PairValues
Value iterator for pair of iterators.
Definition pair.cpp:44
Gecode::Int::Element::PairValues::val
int val(void) const
Return current value.
Definition pair.cpp:91
Gecode::Int::Element::PairValues::operator++
void operator++(void)
Move iterator to next value (if possible).
Definition pair.cpp:80
Gecode::Int::Element::PairValues::operator()
bool operator()(void) const
Test whether iterator is still at a value or done.
Definition pair.cpp:87
Gecode::Int::Element::PairValues::PairValues
PairValues(IntView x, IntView y, int w)
Initialize with views x and y and width w.
Definition pair.cpp:77
Gecode::Int::Element::Pair::Pair
Pair(Space &home, Pair &p)
Constructor for cloning p.
Definition pair.hpp:64
Gecode::Int::Element::Pair::propagate
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Definition pair.cpp:97
Gecode::Int::Element::Pair::w
int w
Width.
Definition element.hh:304
Gecode::Int::Element::Pair::post
static ExecStatus post(Home home, IntView x0, IntView x1, IntView x2, int w, int h)
Post propagator .
Definition pair.hpp:43
Gecode::Int::Element::Pair::copy
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Definition pair.cpp:39
Gecode::Int::IntView
Integer view for integer variables.
Definition view.hpp:129
Gecode::Int::OffsetView
Offset integer view.
Definition view.hpp:443
Gecode::Int::Rel::EqDom
Binary domain consistent equality propagator.
Definition rel.hh:68
Gecode::Int::ViewValues
Value iterator for integer views.
Definition view.hpp:94
Gecode::Iter::Values::BitSet
Value iterator for values in a bitset.
Definition values-bitset.hpp:42
Gecode::Propagator::Space
friend class Space
Definition core.hpp:1066
Gecode::Propagator::id
unsigned int id(void) const
Return propagator id.
Definition core.hpp:3542
Gecode::Region
Handle to region.
Definition region.hpp:55
Gecode::Support::BitSetBase::set
void set(unsigned int i)
Set bit i.
Definition bitset-base.hpp:595
Gecode::Support::BitSet
Simple bitsets.
Definition bitset.hpp:45
Gecode::TernaryPropagator< IntView, PC_INT_DOM >::x2
IntView x2
Definition pattern.hpp:116
Gecode::TernaryPropagator< IntView, PC_INT_DOM >::x1
IntView x1
Definition pattern.hpp:116
Gecode::TernaryPropagator< IntView, PC_INT_DOM >::x0
IntView x0
Definition pattern.hpp:116
Gecode::Space::ES_SUBSUMED
ExecStatus ES_SUBSUMED(Propagator &p)
Definition core.hpp:3563
Gecode::ModEventDelta
int ModEventDelta
Modification event deltas.
Definition core.hpp:89
GECODE_ME_CHECK
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Definition macros.hpp:52
GECODE_REWRITE
#define GECODE_REWRITE(prop, post)
Rewrite propagator by executing post function.
Definition macros.hpp:116
element.hh
Gecode::Int::Element
Element propagators
Gecode::Int
Finite domain integers.
Gecode
Gecode toplevel namespace
Gecode::ExecStatus
ExecStatus
Definition core.hpp:472
Gecode::ES_NOFIX
@ ES_NOFIX
Propagation has not computed fixpoint.
Definition core.hpp:475
forceinline
#define forceinline
Definition config.hpp:187