36 #ifndef __GECODE_SET_INT_HH__ 37 #define __GECODE_SET_INT_HH__ 41 namespace Gecode {
namespace Set {
namespace Int {
57 Gecode::Int::IntView,Gecode::Int::PC_INT_BND> {
85 Gecode::Int::IntView,Gecode::Int::PC_INT_DOM> {
110 template<
class View, ReifyMode rm>
113 Gecode::Int::IntView,Gecode::Int::PC_INT_DOM,Gecode::Int::BoolView> {
172 Gecode::Int::IntView,Gecode::Int::PC_INT_DOM> {
197 template<
class View, ReifyMode rm>
200 Gecode::Int::IntView,Gecode::Int::PC_INT_DOM,Gecode::Int::BoolView> {
231 Gecode::Int::IntView,Gecode::Int::PC_INT_BND> {
240 Card(
Home home, View, Gecode::Int::IntView);
virtual Actor * copy(Space &home)
Copy propagator during cloning.
static ExecStatus post(Home home, View s, Gecode::Int::IntView x)
Post propagator for x is the minimal element of s.
MinElement(Space &home, MinElement &p)
Constructor for cloning p.
const Gecode::PropCond PC_SET_CARD
Propagate when the cardinality of a view changes.
SharedArray< int > weights
Weights for the elements in the upper bound.
View x0
View of type View0.
Propagator for not maximum element
Reified mixed binary propagator.
Base-class for propagators.
Gecode::Int::IntView x1
View of type View1.
virtual void reschedule(Space &home)
Schedule function.
Base-class for both propagators and branchers.
Propagator for reified minimum element
int p
Number of positive literals for node type.
Propagator for not minimum element
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
ModEventDelta med
A set of modification events (used during propagation)
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
Gecode::Int::IntView y
The integer view.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for maximum element
Integer view for integer variables.
Reified propagator for maximum element
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low binary)
Post propagator for SetVar x
Propagator for weight of a set
Gecode toplevel namespace
SharedArray< int > elements
List of elements in the upper bound.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
virtual size_t dispose(Space &home)
Delete propagator and return its size.
Propagator for cardinality
Propagator for minimum element
Boolean view for Boolean variables.