Generated on Tue Apr 18 10:23:37 2017 for Gecode by doxygen 1.6.3

Gecode::Int::BoolTraceView Class Reference

Duplicate of a Boolean view. More...

#include <bool-trace-view.hpp>

List of all members.

Public Member Functions

 BoolTraceView (void)
 Default constructor (initializes with no view).
 BoolTraceView (Space &home, BoolView y)
 Duplicate view y.
void prune (Space &home, BoolView y, const Delta &d)
 Update duplicated view from view y and modification delta d.
void update (Space &home, bool share, BoolTraceView x)
 Update duplicate view during copying.

Static Public Member Functions

static unsigned int slack (BoolView x)
 Return slack of x.

Detailed Description

Duplicate of a Boolean view.

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


Constructor & Destructor Documentation

Gecode::Int::BoolTraceView::BoolTraceView ( void   )  [inline]

Default constructor (initializes with no view).

Definition at line 57 of file bool-trace-view.hpp.

Gecode::Int::BoolTraceView::BoolTraceView ( Space home,
BoolView  y 
) [inline]

Duplicate view y.

Definition at line 59 of file bool-trace-view.hpp.


Member Function Documentation

void Gecode::Int::BoolTraceView::prune ( Space home,
BoolView  y,
const Delta d 
) [inline]

Update duplicated view from view y and modification delta d.

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

void Gecode::Int::BoolTraceView::update ( Space home,
bool  share,
BoolTraceView  x 
) [inline]

Update duplicate view during copying.

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

unsigned int Gecode::Int::BoolTraceView::slack ( BoolView  x  )  [inline, static]

Return slack of x.

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


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