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

Base-class for 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

 LinBin (Space &home, bool share, LinBin &p)
 Constructor for cloning p.
 LinBin (Space &home, bool share, Propagator &p, A x0, B x1, Val c)
 Constructor for rewriting p during cloning.
 LinBin (Home home, A x0, B x1, Val c)
 Constructor for creation.

Protected Attributes

x0
 View of type A.
x1
 View of type B.
Val c
 Value of type Val.

Detailed Description

Base-class for 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::LinBin::LinBin ( Space home,
bool  share,
LinBin p 
) [protected]

Constructor for cloning p.

Gecode::Int::Linear::LinBin::LinBin ( Space home,
bool  share,
Propagator p,
x0,
x1,
Val  c 
) [inline, protected]

Constructor for rewriting p during cloning.

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

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

Constructor for creation.

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


Member Function Documentation

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

Cost function (defined as low binary)

Implements Gecode::Propagator.

Reimplemented in Gecode::Int::Linear::NqBin.

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

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

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

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


Member Data Documentation

View of type A.

Definition at line 72 of file linear.hh.

View of type B.

Definition at line 74 of file linear.hh.

Value of type Val.

Definition at line 76 of file linear.hh.


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