Generated on Sat Aug 25 2012 15:53:09 for Gecode by doxygen 1.7.5
Gecode::BinaryPropagator Class Reference

Binary 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 binary)
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Protected Member Functions

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

Protected Attributes

View x0
 Two views.
View x1

Detailed Description

Binary propagator.

Stores two 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::BinaryPropagator::BinaryPropagator ( Space home,
bool  share,
BinaryPropagator p 
) [protected]

Constructor for cloning p.

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

Constructor for creation.

Definition at line 340 of file propagator.hpp.

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

Constructor for rewriting p during cloning.

Definition at line 360 of file propagator.hpp.


Member Function Documentation

PropCost Gecode::BinaryPropagator::cost ( const Space home,
const ModEventDelta med 
) const [virtual]
size_t Gecode::BinaryPropagator::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::Int::Linear::NqBoolInt, Gecode::Int::Bool::NaryEqv, and Gecode::Int::Bool::NaryOrTrue.

Definition at line 374 of file propagator.hpp.


Member Data Documentation

View Gecode::BinaryPropagator::x0 [protected]

Two views.

Definition at line 90 of file propagator.hpp.

View Gecode::BinaryPropagator::x1 [protected]

Definition at line 90 of file propagator.hpp.


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