Generated on Sat Feb 7 2015 02:01:45 for Gecode by doxygen 1.8.9.1
Gecode::Int::ValSet Class Reference

Class for storing values of already assigned views. More...

#include <val-set.hh>

Classes

class  Ranges
 Iterator over ranges. More...
 

Public Member Functions

 ValSet (void)
 Initialize. More...
 
void add (Space &home, int v)
 Add value v to value set. More...
 
int size (void) const
 Return size (number of values) More...
 
bool empty (void) const
 Test whether set is empty. More...
 
int min (void) const
 Return smallest value (provided the set is not empty) More...
 
int max (void) const
 Return largest value (provided the set is not empty) More...
 
template<class View >
Iter::Ranges::CompareStatus compare (View x) const
 Compare view x with value set. More...
 
template<class View >
bool subset (View x) const
 Whether all values of x are included in the value set. More...
 
void update (Space &home, bool share, ValSet &vs)
 Update value set during cloning. More...
 
void flush (void)
 Flush entries. More...
 
void dispose (Space &home)
 Dispose value set. More...
 

Protected Attributes

RangeListfst
 First element of range list. More...
 
RangeListlst
 Last element of range list. More...
 
int n
 Number of stored values (integer precision is sufficient) More...
 

Detailed Description

Class for storing values of already assigned views.

Definition at line 48 of file val-set.hh.

Constructor & Destructor Documentation

Gecode::Int::ValSet::ValSet ( void  )
inline

Initialize.

Definition at line 45 of file val-set.hpp.

Member Function Documentation

void Gecode::Int::ValSet::add ( Space home,
int  v 
)
inline

Add value v to value set.

Definition at line 49 of file val-set.hpp.

int Gecode::Int::ValSet::size ( void  ) const
inline

Return size (number of values)

Definition at line 85 of file val-set.hpp.

bool Gecode::Int::ValSet::empty ( void  ) const
inline

Test whether set is empty.

Definition at line 90 of file val-set.hpp.

int Gecode::Int::ValSet::min ( void  ) const
inline

Return smallest value (provided the set is not empty)

Definition at line 95 of file val-set.hpp.

int Gecode::Int::ValSet::max ( void  ) const
inline

Return largest value (provided the set is not empty)

Definition at line 100 of file val-set.hpp.

template<class View >
Iter::Ranges::CompareStatus Gecode::Int::ValSet::compare ( View  x) const
inline

Compare view x with value set.

Definition at line 166 of file val-set.hpp.

template<class View >
bool Gecode::Int::ValSet::subset ( View  x) const
inline

Whether all values of x are included in the value set.

Definition at line 176 of file val-set.hpp.

void Gecode::Int::ValSet::update ( Space home,
bool  share,
ValSet vs 
)
inline

Update value set during cloning.

Definition at line 105 of file val-set.hpp.

void Gecode::Int::ValSet::flush ( void  )
inline

Flush entries.

Definition at line 126 of file val-set.hpp.

void Gecode::Int::ValSet::dispose ( Space home)
inline

Dispose value set.

Definition at line 131 of file val-set.hpp.

Member Data Documentation

RangeList* Gecode::Int::ValSet::fst
protected

First element of range list.

Definition at line 51 of file val-set.hh.

RangeList* Gecode::Int::ValSet::lst
protected

Last element of range list.

Definition at line 53 of file val-set.hh.

int Gecode::Int::ValSet::n
protected

Number of stored values (integer precision is sufficient)

Definition at line 55 of file val-set.hh.


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