subscribed.hpp
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, 2016
*
* 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 {
class SubscribedPropagators {
protected:
ActorLink** c;
ActorLink** ep;
ActorLink** ea;
public:
template<class VIC>
SubscribedPropagators(VarImp<VIC>& x);
template<class View>
SubscribedPropagators(ConstView<View>& x);
template<class Var>
SubscribedPropagators(VarImpView<Var>& x);
template<class View>
SubscribedPropagators(DerivedView<View>& x);
template<class VIC>
void init(VarImp<VIC>& x);
template<class View>
void init(ConstView<View>& x);
template<class Var>
void init(VarImpView<Var>& x);
template<class View>
void init(DerivedView<View>& x);
bool operator ()(void) const;
void operator ++(void);
Propagator& propagator(void) const;
};
template<class VIC>
forceinline void
SubscribedPropagators::init(VarImp<VIC>& x) {
c = x.actor(0);
ep = x.actorNonZero(x.pc_max+1); ea = x.b.base+x.entries;
}
template<class VIC>
forceinline
SubscribedPropagators::SubscribedPropagators(VarImp<VIC>& x) {
init(x);
}
template<class View>
forceinline void
SubscribedPropagators::init(ConstView<View>&) {
c = ep = ea = NULL;
}
template<class View>
forceinline
SubscribedPropagators::SubscribedPropagators(ConstView<View>& x) {
init(x);
}
template<class Var>
forceinline
SubscribedPropagators::SubscribedPropagators(VarImpView<Var>& x) {
init(*x.varimp());
}
template<class Var>
forceinline void
SubscribedPropagators::init(VarImpView<Var>& x) {
init(*x.varimp());
}
template<class View>
forceinline
SubscribedPropagators::SubscribedPropagators(DerivedView<View>& x) {
init(*x.varimp());
}
template<class View>
forceinline void
SubscribedPropagators::init(DerivedView<View>& x) {
init(*x.varimp());
}
forceinline bool
SubscribedPropagators::operator ()(void) const {
return c<ea;
}
forceinline void
SubscribedPropagators::operator ++(void) {
c++;
}
forceinline Propagator&
SubscribedPropagators::propagator(void) const {
return (c < ep) ? *Propagator::cast(*c) : Advisor::cast(*c)->propagator();
}
}
// STATISTICS: kernel-prop
Gecode::ActorLink
Double-linked list for actors.
Definition core.hpp:589
Gecode::ConstView
Base-class for constant views.
Definition view.hpp:45
Gecode::DerivedView
Base-class for derived views.
Definition view.hpp:230
Gecode::DerivedView::varimp
VarImpType * varimp(void) const
Return variable implementation of view.
Definition view.hpp:599
Gecode::Propagator
Base-class for propagators.
Definition core.hpp:1064
Gecode::SubscribedPropagators::SubscribedPropagators
SubscribedPropagators(VarImp< VIC > &x)
Initialize.
Definition subscribed.hpp:85
Gecode::SubscribedPropagators::operator++
void operator++(void)
Move iterator to next propagator.
Definition subscribed.hpp:124
Gecode::SubscribedPropagators::init
void init(VarImp< VIC > &x)
Initialize.
Definition subscribed.hpp:79
Gecode::SubscribedPropagators::propagator
Propagator & propagator(void) const
Return propagator.
Definition subscribed.hpp:128
Gecode::SubscribedPropagators::c
ActorLink ** c
Pointing at the current subscription (either propagator or advisor).
Definition subscribed.hpp:39
Gecode::SubscribedPropagators::ep
ActorLink ** ep
End of propagator subscriptions.
Definition subscribed.hpp:41
Gecode::SubscribedPropagators::ea
ActorLink ** ea
End of advisor subscriptions.
Definition subscribed.hpp:43
Gecode::SubscribedPropagators::operator()
bool operator()(void) const
Test whether there are propagators left.
Definition subscribed.hpp:120
Gecode::VarImpView
Base-class for variable implementation views.
Definition view.hpp:133
Gecode::VarImpView::varimp
void varimp(VarImpType *y)
Set variable implementation to y.
Definition view.hpp:484
Gecode::VarImp
Base-class for variable implementations.
Definition core.hpp:219
Gecode::VarImp::base
ActorLink ** base
Subscribed actors.
Definition core.hpp:233
Gecode
Gecode toplevel namespace
forceinline
#define forceinline
Definition config.hpp:187