Generated on Fri Oct 19 11:26:14 2018 for Gecode by doxygen 1.6.3

Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx > Class Template Reference

Base class for linear Boolean constraints with coefficients. More...

#include <linear.hh>

List of all members.

Public Member Functions

 LinBoolScale (Home home, SBAP &p, SBAN &n, VX x, int c)
 Constructor for creation.
 LinBoolScale (Space &home, Propagator &pr, SBAP &p, SBAN &n, VX x, int c)
 Constructor for cloning pr.
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function (defined as low linear).
virtual void reschedule (Space &home)
 Schedule function.
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Protected Attributes

SBAP p
 Positive Boolean views with coefficients on left-hand side.
SBAN n
 Negative Boolean views with coefficients on left-hand side.
VX x
 Integer view on right-hand side.
int c
 Integer constant on right-hand side.

Detailed Description

template<class SBAP, class SBAN, class VX, PropCond pcx>
class Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >

Base class for linear Boolean constraints with coefficients.

Definition at line 1220 of file linear.hh.


Constructor & Destructor Documentation

template<class SBAP, class SBAN, class VX, PropCond pcx>
Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >::LinBoolScale ( Home  home,
SBAP &  p,
SBAN &  n,
VX  x,
int  c 
) [inline]

Constructor for creation.

Definition at line 156 of file bool-scale.hpp.

template<class SBAP, class SBAN, class VX, PropCond pcx>
Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >::LinBoolScale ( Space home,
Propagator pr,
SBAP &  p,
SBAN &  n,
VX  x,
int  c 
) [inline]

Constructor for cloning pr.

Definition at line 192 of file bool-scale.hpp.


Member Function Documentation

template<class SBAP , class SBAN , class VX , PropCond pcx>
PropCost Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >::cost ( const Space home,
const ModEventDelta med 
) const [inline, virtual]

Cost function (defined as low linear).

Implements Gecode::Propagator.

Definition at line 167 of file bool-scale.hpp.

template<class SBAP , class SBAN , class VX , PropCond pcx>
void Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >::reschedule ( Space home  )  [inline, virtual]

Schedule function.

Implements Gecode::Propagator.

Definition at line 174 of file bool-scale.hpp.

template<class SBAP , class SBAN , class VX , PropCond pcx>
size_t Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >::dispose ( Space home  )  [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 182 of file bool-scale.hpp.


Member Data Documentation

template<class SBAP, class SBAN, class VX, PropCond pcx>
SBAP Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >::p [protected]

Positive Boolean views with coefficients on left-hand side.

Definition at line 1223 of file linear.hh.

template<class SBAP, class SBAN, class VX, PropCond pcx>
SBAN Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >::n [protected]

Negative Boolean views with coefficients on left-hand side.

Definition at line 1225 of file linear.hh.

template<class SBAP, class SBAN, class VX, PropCond pcx>
VX Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >::x [protected]

Integer view on right-hand side.

Definition at line 1227 of file linear.hh.

template<class SBAP, class SBAN, class VX, PropCond pcx>
int Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >::c [protected]

Integer constant on right-hand side.

Definition at line 1229 of file linear.hh.


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