set.cpp
Go to the documentation of this file.
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
* Main authors:
* Guido Tack <tack@gecode.org>
* Christian Schulte <schulte@gecode.org>
*
* Copyright:
* Guido Tack, 2004
* Christian Schulte, 2004
*
* 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 { namespace Set {
/*
* "Standard" tell operations
*
*/
ModEvent
SetVarImp::cardMin_full(Space& home) {
ModEvent me = ME_SET_CARD;
if (cardMin() == lub.size()) {
glb.become(home, lub);
me = ME_SET_VAL;
}
SetDelta d;
return notify(home, me, d);
}
ModEvent
SetVarImp::cardMax_full(Space& home) {
ModEvent me = ME_SET_CARD;
if (cardMax() == glb.size()) {
lub.become(home, glb);
me = ME_SET_VAL;
}
SetDelta d;
return notify(home, me, d);
}
ModEvent
SetVarImp::processLubChange(Space& home, SetDelta& d) {
ModEvent me = ME_SET_LUB;
if (cardMax() > lub.size()) {
lub.card(lub.size());
if (cardMin() > cardMax()) {
glb.become(home, lub);
glb.card(glb.size());
lub.card(glb.size());
return fail(home);
}
me = ME_SET_CLUB;
}
if (cardMax() == lub.size() && cardMin() == cardMax()) {
glb.become(home, lub);
me = ME_SET_VAL;
assert(d.glbMin() == 1);
assert(d.glbMax() == 0);
}
return notify(home, me, d);
}
ModEvent
SetVarImp::processGlbChange(Space& home, SetDelta& d) {
ModEvent me = ME_SET_GLB;
if (cardMin() < glb.size()) {
glb.card(glb.size());
if (cardMin() > cardMax()) {
glb.become(home, lub);
glb.card(glb.size());
lub.card(glb.size());
return fail(home);
}
me = ME_SET_CGLB;
}
if (cardMin() == glb.size() && cardMin() == cardMax()) {
lub.become(home, glb);
me = ME_SET_VAL;
assert(d.lubMin() == 1);
assert(d.lubMax() == 0);
}
return notify(home, me, d);
}
/*
* Copying variables
*
*/
forceinline
SetVarImp::SetVarImp(Space& home, SetVarImp& x)
: SetVarImpBase(home,x) {
lub.update(home, x.lub);
glb.card(x.cardMin());
lub.card(x.cardMax());
if (x.assigned()) {
glb.become(home,lub);
} else {
glb.update(home,x.glb);
}
}
SetVarImp*
SetVarImp::perform_copy(Space& home) {
return new (home) SetVarImp(home,*this);
}
/*
* Dependencies
*
*/
void
SetVarImp::subscribe(Space& home, Propagator& p, PropCond pc,
bool schedule) {
SetVarImpBase::subscribe(home,p,pc,assigned(),schedule);
}
void
SetVarImp::subscribe(Space& home, Advisor& a, bool fail) {
SetVarImpBase::subscribe(home,a,assigned(),fail);
}
void
SetVarImp::reschedule(Space& home, Propagator& p, PropCond pc) {
SetVarImpBase::reschedule(home,p,pc,assigned());
}
}}
// STATISTICS: set-var
Gecode::Advisor
Base-class for advisors.
Definition core.hpp:1292
Gecode::Propagator
Base-class for propagators.
Definition core.hpp:1064
Gecode::Set::SetDelta
Finite set delta information for advisors.
Definition var-imp.hpp:52
Gecode::Set::SetVarImpBase::SetVarImpBase
SetVarImpBase(Gecode::Space &home, SetVarImpBase &x)
Constructor for cloning x.
Definition var-imp.hpp:343
Gecode::Set::SetVarImpBase::reschedule
void reschedule(Gecode::Space &home, Gecode::Propagator &p, Gecode::PropCond pc, bool assigned)
Re-schedule propagator p.
Definition var-imp.hpp:360
Gecode::Set::SetVarImpBase::notify
Gecode::ModEvent notify(Gecode::Space &home, Gecode::ModEvent me, Gecode::Delta &d)
Notify that variable implementation has been modified with modification event me and delta informatio...
Definition var-imp.hpp:365
Gecode::Set::SetVarImpBase::subscribe
void subscribe(Gecode::Space &home, Gecode::Propagator &p, Gecode::PropCond pc, bool assigned, bool schedule)
Subscribe propagator p with propagation condition pc.
Definition var-imp.hpp:347
Gecode::Set::SetVarImpBase::schedule
static void schedule(Gecode::Space &home, Gecode::Propagator &p, Gecode::ModEvent me)
Schedule propagator p.
Definition var-imp.hpp:356
Gecode::Set::SetVarImp
Finite integer set variable implementation.
Definition var-imp.hpp:430
Gecode::Set::SetVarImp::cardMax
unsigned int cardMax(void) const
Return current cardinality maximum.
Definition set.hpp:102
Gecode::Set::SetVarImp::assigned
bool assigned(void) const
Test whether variable is assigned.
Definition set.hpp:94
Gecode::Set::SetVarImp::reschedule
void reschedule(Space &home, Propagator &p, PropCond pc)
Re-schedule propagator p with propagation condition pc.
Definition set.cpp:149
Gecode::Set::SetVarImp::cardMin
unsigned int cardMin(void) const
Return current cardinality minimum.
Definition set.hpp:99
Gecode::Set::SetVarImp::subscribe
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to variable.
Definition set.cpp:140
Gecode::Set::SetVarImp::SetVarImp
SetVarImp(Space &home, SetVarImp &x)
Constructor for cloning x.
Definition set.cpp:117
Gecode::Space
Computation spaces.
Definition core.hpp:1742
Gecode::VarImp< Gecode::Set::SetVarImpConf >::fail
ModEvent fail(Space &home)
Definition core.hpp:4570
Gecode::VarImp< Gecode::Set::SetVarImpConf >::me
static ModEvent me(const ModEventDelta &med)
Definition core.hpp:4270
set.hh
Gecode::Set
Finite integer sets.
Definition var-imp.hpp:137
Gecode::Set::ME_SET_CLUB
const Gecode::ModEvent ME_SET_CLUB
Domain operation has changed the least upper bound and the cardinality.
Definition var-type.hpp:179
Gecode::Set::ME_SET_VAL
const Gecode::ModEvent ME_SET_VAL
Domain operation has resulted in a value (assigned variable).
Definition var-type.hpp:142
Gecode::Set::ME_SET_GLB
const Gecode::ModEvent ME_SET_GLB
Domain operation has changed the greatest lower bound.
Definition var-type.hpp:164
Gecode::Set::ME_SET_CGLB
const Gecode::ModEvent ME_SET_CGLB
Domain operation has changed the greatest lower bound and the cardinality.
Definition var-type.hpp:186
Gecode::Set::ME_SET_CARD
const Gecode::ModEvent ME_SET_CARD
Domain operation has changed the variable cardinality.
Definition var-type.hpp:148
Gecode::Set::ME_SET_LUB
const Gecode::ModEvent ME_SET_LUB
Domain operation has changed the least upper bound.
Definition var-type.hpp:156
Gecode
Gecode toplevel namespace
Gecode::PropCond
int PropCond
Type for propagation conditions.
Definition core.hpp:72
Gecode::ModEvent
int ModEvent
Type for modification events.
Definition core.hpp:62
Test::Int::Distinct::d
Gecode::IntSet d(v, 7)
forceinline
#define forceinline
Definition config.hpp:187