Generated on Fri Oct 19 11:26:20 2018 for Gecode by doxygen 1.6.3

Gecode::Set::SetTraceView Class Reference

Duplicate of a set view. More...

#include <trace-view.hpp>

List of all members.

Public Member Functions

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

Static Public Member Functions

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

Protected Attributes

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

Detailed Description

Duplicate of a set view.

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


Constructor & Destructor Documentation

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

Default constructor (initializes with no view).

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

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

Duplicate view x.

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


Member Function Documentation

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

Return range list for greatest lower bound.

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

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

Return range list for leat upper bound.

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

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 78 of file trace-view.hpp.

void Gecode::Set::SetTraceView::update ( Space home,
SetTraceView  x 
) [inline]

Update during cloning.

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

unsigned long long int Gecode::Set::SetTraceView::slack ( SetView  x  )  [inline, static]

Return slack for x.

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


Member Data Documentation

Copy of the greatest lower bound.

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

Copy of the least upper bound.

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


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