44 #ifndef __GECODE_INT_GCC_HH__ 45 #define __GECODE_INT_GCC_HH__ 58 namespace Gecode {
namespace Int {
namespace GCC {
ViewArray< Card > k
Array containing either fixed cardinalities or CardViews.
Value consistent global cardinality propagator.
Container class provding information about the Hall structure of the problem variables.
static ExecStatus post(Home home, ViewArray< IntView > &x, ViewArray< Card > &k)
Post propagator for views x and cardinalities k.
bool card_fixed
Stores whether cardinalities are all assigned.
ViewArray< Card > k
Array containing either fixed cardinalities or CardViews.
Val(Home home, ViewArray< IntView > &x, ViewArray< Card > &k)
Constructor for posting.
Base-class for propagators.
PartialSum< Card > lps
Data structure storing the sum of the views lower bounds Necessary for reasoning about the interval c...
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost funtion returning high linear.
ViewArray< Card > k
Array containing either fixed cardinalities or CardViews.
Base-class for both propagators and branchers.
ViewArray< IntView > x
Views on which to perform value-propagation.
int p
Number of positive literals for node type.
virtual size_t dispose(Space &home)
Destructor.
PartialSum< Card > ups
Data structure storing the sum of the views upper bounds.
Domain consistent global cardinality propagator.
ModEventDelta med
A set of modification events (used during propagation)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
Maps domain bounds to their position in hall[].bounds.
ViewArray< IntView > y
Views used to channel information between x and k ( ).
Partial sum structure for constant time computation of the maximal capacity of an interval...
Variable-value-graph used during propagation.
ViewArray< IntView > y
Views on which to perform value-propagation (subset of x)
Gecode toplevel namespace
ViewArray< IntView > x
Views on which to perform bounds-propagation.
bool skip_lbc
Stores whether the minium required occurences of the cardinalities are all zero. If so...
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Bounds consistent global cardinality propagator.
VarValGraph< Card > * vvg
Propagation is performed on a variable-value graph (used as cache)
bool card_fixed
Stores whether cardinalities are all assigned.
ViewArray< IntView > x
Views on which to perform domain-propagation.