Generated on Thu Apr 11 14:00:03 2019 for Gecode by doxygen 1.6.3

Gecode::Int::Linear::EqBin< Val, A, B > Class Template Reference [Integer propagators]

Propagator for bounds consistent binary linear equality More...

`#include <linear.hh>`

List of all members.

Public Member Functions

EqBin (Space &home, Propagator &p, A x0, B x1, Val c)
Constructor for rewriting p during cloning.
virtual Actorcopy (Space &home)
Create copy during cloning.
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
Perform propagation.

Static Public Member Functions

static ExecStatus post (Home home, A x0, B x1, Val c)
Post propagator for .

Protected Member Functions

EqBin (Space &home, EqBin &p)
Constructor for cloning p.
EqBin (Home home, A x0, B x1, Val c)
Constructor for creation.

Detailed Description

template<class Val, class A, class B> class Gecode::Int::Linear::EqBin< Val, A, B >

Propagator for bounds consistent binary linear equality

The type Val can be either `long` long int 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.

Requires

``` #include <gecode/int/linear.hh>
```

Definition at line 134 of file linear.hh.

Constructor & Destructor Documentation

template<class Val , class A , class B >
 Gecode::Int::Linear::EqBin< Val, A, B >::EqBin ( Space & home, EqBin< Val, A, B > & p ) ` [inline, protected]`

Constructor for cloning p.

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

template<class Val , class A , class B >
 Gecode::Int::Linear::EqBin< Val, A, B >::EqBin ( Home home, A x0, B x1, Val c ) ` [inline, protected]`

Constructor for creation.

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

template<class Val , class A , class B >
 Gecode::Int::Linear::EqBin< Val, A, B >::EqBin ( Space & home, Propagator & p, A x0, B x1, Val c ) ` [inline]`

Constructor for rewriting p during cloning.

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

Member Function Documentation

template<class Val , class A , class B >
 Actor * Gecode::Int::Linear::EqBin< Val, A, B >::copy ( Space & home ) ` [inline, virtual]`

Create copy during cloning.

Implements Gecode::Actor.

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

template<class Val , class A , class B >
 ExecStatus Gecode::Int::Linear::EqBin< Val, A, B >::propagate ( Space & home, const ModEventDelta & med ) ` [inline, virtual]`

Perform propagation.

Implements Gecode::Propagator.

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

template<class Val , class A , class B >
 ExecStatus Gecode::Int::Linear::EqBin< Val, A, B >::post ( Home home, A x0, B x1, Val c ) ` [inline, static]`

Post propagator for .

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

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