Generated on Tue Sep 25 2012 20:53:31 for Gecode by doxygen 1.7.5
Gecode::Int::Linear::ReLinBin Class Reference

Base-class for reified binary linear propagators. More...

#include <linear.hh>

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

 ReLinBin (Space &home, bool share, ReLinBin &p)
 Constructor for cloning p.
 ReLinBin (Home home, A x0, B x1, Val c, Ctrl b)
 Constructor for creation.

Protected Attributes

x0
 View of type A.
x1
 View of type B.
Val c
 Value of type Val.
Ctrl b
 Control view for reification.

Detailed Description

Base-class for reified binary linear propagators.

The type Val can be either double or int, defining the numerical precision during propagation. The types A and B give the types of the views.

The propagation condition pc refers to both views.


Constructor & Destructor Documentation

Gecode::Int::Linear::ReLinBin::ReLinBin ( Space home,
bool  share,
ReLinBin p 
) [protected]

Constructor for cloning p.

Gecode::Int::Linear::ReLinBin::ReLinBin ( Home  home,
x0,
x1,
Val  c,
Ctrl  b 
) [inline, protected]

Constructor for creation.

Definition at line 91 of file int-bin.hpp.


Member Function Documentation

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

Cost function (defined as low binary)

Implements Gecode::Propagator.

Definition at line 110 of file int-bin.hpp.

size_t Gecode::Int::Linear::ReLinBin::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 116 of file int-bin.hpp.


Member Data Documentation

View of type A.

Definition at line 103 of file linear.hh.

View of type B.

Definition at line 105 of file linear.hh.

Value of type Val.

Definition at line 107 of file linear.hh.

Control view for reification.

Definition at line 109 of file linear.hh.


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