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

Base-class for ternary 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 ternary)
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Protected Member Functions

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

Protected Attributes

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

Detailed Description

Base-class for ternary linear propagators.

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

The propagation condition pc refers to all three views.


Constructor & Destructor Documentation

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

Constructor for cloning p.

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

Constructor for creation.

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

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

Constructor for rewriting p during cloning.

Definition at line 65 of file int-ter.hpp.


Member Function Documentation

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

Cost function (defined as low ternary)

Implements Gecode::Propagator.

Definition at line 75 of file int-ter.hpp.

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

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 81 of file int-ter.hpp.


Member Data Documentation

View of type A.

Definition at line 349 of file linear.hh.

View of type B.

Definition at line 351 of file linear.hh.

View of type C.

Definition at line 353 of file linear.hh.

Value of type Val.

Definition at line 355 of file linear.hh.


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