Generated on Thu Jul 25 2019 00:00:00 for Gecode by doxygen 1.8.15
Gecode::Set::SetTraceView Class Reference

Duplicate of a set view. More...

#include <trace-view.hpp>

Public Member Functions

 SetTraceView (void)
 Default constructor (initializes with no view) More...
 
 SetTraceView (Space &home, SetView x)
 Duplicate view x. More...
 
RangeListglb (void) const
 Return range list for greatest lower bound. More...
 
RangeListlub (void) const
 Return range list for leat upper bound. More...
 
void prune (Space &home, SetView y, const Delta &d)
 Update duplicated view from view y and delta d. More...
 
void update (Space &home, bool share, SetTraceView x)
 Update during cloning. More...
 

Static Public Member Functions

static unsigned long long int slack (SetView x)
 Return slack for x. More...
 

Protected Attributes

RangeList_glb
 Copy of the greatest lower bound. More...
 
RangeList_lub
 Copy of the least upper bound. More...
 

Detailed Description

Duplicate of a set view.

Definition at line 41 of file trace-view.hpp.

Constructor & Destructor Documentation

◆ SetTraceView() [1/2]

Gecode::Set::SetTraceView::SetTraceView ( void  )
inline

Default constructor (initializes with no view)

Definition at line 65 of file trace-view.hpp.

◆ SetTraceView() [2/2]

Gecode::Set::SetTraceView::SetTraceView ( Space home,
SetView  x 
)
inline

Duplicate view x.

Definition at line 67 of file trace-view.hpp.

Member Function Documentation

◆ glb()

RangeList * Gecode::Set::SetTraceView::glb ( void  ) const
inline

Return range list for greatest lower bound.

Definition at line 74 of file trace-view.hpp.

◆ lub()

RangeList * Gecode::Set::SetTraceView::lub ( void  ) const
inline

Return range list for leat upper bound.

Definition at line 78 of file trace-view.hpp.

◆ prune()

void Gecode::Set::SetTraceView::prune ( Space home,
SetView  y,
const Delta d 
)
inline

Update duplicated view from view y and delta d.

Definition at line 82 of file trace-view.hpp.

◆ update()

void Gecode::Set::SetTraceView::update ( Space home,
bool  share,
SetTraceView  x 
)
inline

Update during cloning.

Definition at line 89 of file trace-view.hpp.

◆ slack()

unsigned long long int Gecode::Set::SetTraceView::slack ( SetView  x)
inlinestatic

Return slack for x.

Definition at line 97 of file trace-view.hpp.

Member Data Documentation

◆ _glb

RangeList* Gecode::Set::SetTraceView::_glb
protected

Copy of the greatest lower bound.

Definition at line 44 of file trace-view.hpp.

◆ _lub

RangeList* Gecode::Set::SetTraceView::_lub
protected

Copy of the least upper bound.

Definition at line 46 of file trace-view.hpp.


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