Gecode::Float::FloatTraceView Class Reference

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

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

Default constructor (initializes with no view).

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

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

Duplicate view y.

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

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

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

Update during cloning.

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

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

Return slack of x.

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

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