Generated on Thu Mar 22 10:39:59 2012 for Gecode by doxygen 1.6.3

Gecode::Set::SetDelta Class Reference

Finite set delta information for advisors. More...

#include <var-imp.hpp>

List of all members.

Public Member Functions

 SetDelta (void)
 Create set delta as providing no information (if any is true).
 SetDelta (int glbMin, int glbMax, int lubMin, int lubMax)
 Create set delta with min and max.
int glbMin (void) const
 Return glb minimum.
int glbMax (void) const
 Return glb maximum.
int lubMin (void) const
 Return lub minimum.
int lubMax (void) const
 Return lub maximum.
bool glbAny (void) const
 Test whether delta represents any domain change in glb.
bool lubAny (void) const
 Test whether delta represents any domain change in lub.

Detailed Description

Finite set delta information for advisors.

Definition at line 56 of file var-imp.hpp.


Constructor & Destructor Documentation

Gecode::Set::SetDelta::SetDelta ( void   )  [inline]

Create set delta as providing no information (if any is true).

Definition at line 43 of file delta.hpp.

Gecode::Set::SetDelta::SetDelta ( int  glbMin,
int  glbMax,
int  lubMin,
int  lubMax 
) [inline]

Create set delta with min and max.

Definition at line 46 of file delta.hpp.


Member Function Documentation

int Gecode::Set::SetDelta::glbMin ( void   )  const [inline]

Return glb minimum.

Definition at line 52 of file delta.hpp.

int Gecode::Set::SetDelta::glbMax ( void   )  const [inline]

Return glb maximum.

Definition at line 56 of file delta.hpp.

int Gecode::Set::SetDelta::lubMin ( void   )  const [inline]

Return lub minimum.

Definition at line 60 of file delta.hpp.

int Gecode::Set::SetDelta::lubMax ( void   )  const [inline]

Return lub maximum.

Definition at line 64 of file delta.hpp.

bool Gecode::Set::SetDelta::glbAny ( void   )  const [inline]

Test whether delta represents any domain change in glb.

Definition at line 68 of file delta.hpp.

bool Gecode::Set::SetDelta::lubAny ( void   )  const [inline]

Test whether delta represents any domain change in lub.

Definition at line 72 of file delta.hpp.


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