Generated on Tue Sep 25 2012 20:53:26 for Gecode by doxygen 1.7.5
Gecode::TernaryPropagator Class Reference

Ternary propagator. More...

#include <propagator.hpp>

List of all members.

Public Member Functions

virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function (defined as low ternary)
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Protected Member Functions

 TernaryPropagator (Space &home, bool share, TernaryPropagator &p)
 Constructor for cloning p.
 TernaryPropagator (Home home, View x0, View x1, View x2)
 Constructor for creation.
 TernaryPropagator (Space &home, bool share, Propagator &p, View x0, View x1, View x2)
 Constructor for rewriting p during cloning.

Protected Attributes

View x0
 Three views.
View x1
View x2

Detailed Description

Ternary propagator.

Stores three views of type View with propagation condition pc.

If the propagation condition pc has the value PC_GEN_NONE, no subscriptions are created.


Constructor & Destructor Documentation

Gecode::TernaryPropagator::TernaryPropagator ( Space home,
bool  share,
TernaryPropagator p 
) [protected]

Constructor for cloning p.

Gecode::TernaryPropagator::TernaryPropagator ( Home  home,
View  x0,
View  x1,
View  x2 
) [protected]

Constructor for creation.

Definition at line 390 of file propagator.hpp.

Gecode::TernaryPropagator::TernaryPropagator ( Space home,
bool  share,
Propagator p,
View  x0,
View  x1,
View  x2 
) [inline, protected]

Constructor for rewriting p during cloning.

Definition at line 412 of file propagator.hpp.


Member Function Documentation

PropCost Gecode::TernaryPropagator::cost ( const Space home,
const ModEventDelta med 
) const [virtual]

Cost function (defined as low ternary)

Implements Gecode::Propagator.

Reimplemented in Gecode::Int::Arithmetic::MultDom, and Gecode::Int::Arithmetic::MaxDom.

Definition at line 421 of file propagator.hpp.

size_t Gecode::TernaryPropagator::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 427 of file propagator.hpp.


Member Data Documentation

Three views.

Definition at line 118 of file propagator.hpp.

Definition at line 118 of file propagator.hpp.

Definition at line 118 of file propagator.hpp.


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