Gecode::Int::IntTraceView Class Reference

Duplicate of an integer view. More...

Public Member Functions
	IntTraceView (void)
	Default constructor (initializes with no view).
	IntTraceView (Space &home, IntView y)
	Duplicate view y.
RangeList *	ranges (void) const
	Give access to ranges.
void	prune (Space &home, IntView y, const Delta &d)
	Update duplicated view from view y and modification delta d.
void	update (Space &home, bool share, IntTraceView x)
	Update during cloning.
Static Public Member Functions
static unsigned long long int	slack (IntView x)
	Return slack measure.
Protected Attributes
RangeList *	dom
	Ranges capturing the variable domain.

Detailed Description

Duplicate of an integer view.

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

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

Default constructor (initializes with no view).

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

Gecode::Int::IntTraceView::IntTraceView	(	Space &	home,
		IntView	y
	)			`[inline]`

Duplicate view y.

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

RangeList * Gecode::Int::IntTraceView::ranges ( void ) const [inline]

Give access to ranges.

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

void Gecode::Int::IntTraceView::prune	(	Space &	home,
		IntView	y,
		const Delta &	d
	)			`[inline]`

Update duplicated view from view y and modification delta d.

Definition at line 75 of file int-trace-view.hpp.

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

Update during cloning.

Definition at line 113 of file int-trace-view.hpp.

unsigned long long int Gecode::Int::IntTraceView::slack ( IntView x ) [inline, static]

Return slack measure.

Definition at line 119 of file int-trace-view.hpp.

Ranges capturing the variable domain.

Definition at line 44 of file int-trace-view.hpp.

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