Generated on Fri Oct 19 11:26:03 2018 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, 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 37 of file bool-trace-view.hpp.


Constructor & Destructor Documentation

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

Default constructor (initializes with no view).

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

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

Duplicate view y.

Definition at line 55 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 57 of file bool-trace-view.hpp.

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

Update duplicate view during copying.

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

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

Return slack of x.

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


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