Generated on Tue Sep 25 2012 20:53:29 for Gecode by doxygen 1.7.5
Gecode::Int::Channel::Dom Class Reference

Domain consistent channel propagator. More...

#include <channel.hh>

List of all members.

Public Member Functions

virtual Actorcopy (Space &home, bool share)
 Copy propagator during cloning.
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function.
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.

Static Public Member Functions

static ExecStatus post (Home home, int n, DomInfo< View, Offset > *xy, Offset &ox, Offset &oy)
 Post propagator for channeling on xy.

Protected Member Functions

 Dom (Space &home, bool share, Dom &p)
 Constructor for cloning p.
 Dom (Home home, int n, DomInfo< View, Offset > *xy, Offset &ox, Offset &oy)
 Constructor for posting.

Protected Attributes

Distinct::DomCtrl< View > dc
 Propagation controller for propagating distinct.

Detailed Description

Domain consistent channel propagator.

If shared is true, the same views can be contained in both x and y.

Requires


Constructor & Destructor Documentation

Gecode::Int::Channel::Dom::Dom ( Space home,
bool  share,
Dom p 
) [protected]

Constructor for cloning p.

Gecode::Int::Channel::Dom::Dom ( Home  home,
int  n,
DomInfo< View, Offset > *  xy,
Offset ox,
Offset oy 
) [inline, protected]

Constructor for posting.

Definition at line 174 of file dom.hpp.


Member Function Documentation

Actor * Gecode::Int::Channel::Dom::copy ( Space home,
bool  share 
) [virtual]

Copy propagator during cloning.

Definition at line 186 of file dom.hpp.

PropCost Gecode::Int::Channel::Dom::cost ( const Space home,
const ModEventDelta med 
) const [virtual]

Cost function.

If in stage for naive value propagation, the cost is low quadratic. Otherwise it is high quadratic.

Reimplemented from Gecode::Int::Channel::Base< DomInfo< View, Offset >, Offset, PC_INT_DOM >.

Definition at line 192 of file dom.hpp.

ExecStatus Gecode::Int::Channel::Dom::propagate ( Space home,
const ModEventDelta med 
) [virtual]

Perform propagation.

Definition at line 202 of file dom.hpp.

ExecStatus Gecode::Int::Channel::Dom::post ( Home  home,
int  n,
DomInfo< View, Offset > *  xy,
Offset ox,
Offset oy 
) [static]

Post propagator for channeling on xy.

Definition at line 311 of file dom.hpp.


Member Data Documentation

Propagation controller for propagating distinct.

Definition at line 144 of file channel.hh.


The documentation for this class was generated from the following files: