Generated on Tue Apr 18 10:23:27 2017 for Gecode by doxygen 1.6.3
Gecode::Float::FloatTraceView

Gecode::Float::FloatTraceView Class Reference

Float trace view. More...

#include <trace-view.hpp>

List of all members.

Public Member Functions

 FloatTraceView (void)
 Default constructor (initializes with no view).
 FloatTraceView (Space &home, FloatView y)
 Duplicate view y.
void prune (Space &home, FloatView y, const Delta &d)
 Update duplicated view from view y and delta d.
void update (Space &home, bool share, FloatTraceView x)
 Update during cloning.

Static Public Member Functions

static FloatNum slack (FloatView x)
 Return slack of x.

Detailed Description

Float trace view.

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

Constructor & Destructor Documentation

Gecode::Float::FloatTraceView::FloatTraceView ( void   )  [inline]

Default constructor (initializes with no view).

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

Gecode::Float::FloatTraceView::FloatTraceView ( Space &  home,
FloatView  y 
) [inline]

Duplicate view y.

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

Member Function Documentation

void Gecode::Float::FloatTraceView::prune ( Space &  home,
FloatView  y,
const Delta &  d 
) [inline]

Update duplicated view from view y and delta d.

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

void Gecode::Float::FloatTraceView::update ( Space &  home,
bool  share,
FloatTraceView  x 
) [inline]

Update during cloning.

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

FloatNum Gecode::Float::FloatTraceView::slack ( FloatView  x  )  [inline, static]

Return slack of x.

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

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