Generated on Thu Jan 31 2019 20:56:48 for Gecode by doxygen 1.8.15
Gecode::Int::IntTraceView Class Reference

Duplicate of an integer view. More...

#include <int-trace-view.hpp>

Public Member Functions

 IntTraceView (void)
 Default constructor (initializes with no view) More...
 
 IntTraceView (Space &home, IntView y)
 Duplicate view y. More...
 
RangeListranges (void) const
 Give access to ranges. More...
 
void prune (Space &home, IntView y, const Delta &d)
 Update duplicated view from view y and modification delta d. More...
 
void update (Space &home, bool share, IntTraceView x)
 Update during cloning. More...
 

Static Public Member Functions

static unsigned long long int slack (IntView x)
 Return slack measure. More...
 

Protected Attributes

RangeListdom
 Ranges capturing the variable domain. More...
 

Detailed Description

Duplicate of an integer view.

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

Constructor & Destructor Documentation

◆ IntTraceView() [1/2]

Gecode::Int::IntTraceView::IntTraceView ( void  )
inline

Default constructor (initializes with no view)

Definition at line 61 of file int-trace-view.hpp.

◆ IntTraceView() [2/2]

Gecode::Int::IntTraceView::IntTraceView ( Space home,
IntView  y 
)
inline

Duplicate view y.

Definition at line 64 of file int-trace-view.hpp.

Member Function Documentation

◆ ranges()

RangeList * Gecode::Int::IntTraceView::ranges ( void  ) const
inline

Give access to ranges.

Definition at line 70 of file int-trace-view.hpp.

◆ prune()

void Gecode::Int::IntTraceView::prune ( Space home,
IntView  y,
const Delta d 
)
inline

Update duplicated view from view y and modification delta d.

Definition at line 75 of file int-trace-view.hpp.

◆ update()

void Gecode::Int::IntTraceView::update ( Space home,
bool  share,
IntTraceView  x 
)
inline

Update during cloning.

Definition at line 113 of file int-trace-view.hpp.

◆ slack()

unsigned long long int Gecode::Int::IntTraceView::slack ( IntView  x)
inlinestatic

Return slack measure.

Definition at line 119 of file int-trace-view.hpp.

Member Data Documentation

◆ dom

RangeList* Gecode::Int::IntTraceView::dom
protected

Ranges capturing the variable domain.

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


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