Generated on Sat Feb 7 2015 02:01:51 for Gecode by doxygen 1.8.9.1
Gecode::Set::SetDelta Class Reference

Finite set delta information for advisors. More...

#include <var-imp.hpp>

Public Member Functions

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

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: