Gecode::Int::Extensional::Incremental< View >::Work Class Reference

Work stack More...

Public Member Functions
	Work (void)
	Initialize as empty.
bool	empty (void) const
	Check whether work stack is empty.
void	push (Space &home, int i, int n)
	Push new work entry for position i and value n.
void	pop (Space &home, int &i, int &n)
	Pop current top entry and set position i and value n.

Detailed Description

Work stack

Definition at line 427 of file extensional.hh.

template<class View >

Gecode::Int::Extensional::Incremental< View >::Work::Work ( void ) [inline]

Initialize as empty.

Definition at line 175 of file incremental.hpp.

template<class View >

bool Gecode::Int::Extensional::Incremental< View >::Work::empty ( void ) const [inline]

Check whether work stack is empty.

Definition at line 179 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::Work::push	(	Space &	home,
		int	i,
		int	n
	)			`[inline]`

Push new work entry for position i and value n.

Definition at line 184 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::Work::pop	(	Space &	home,
		int &	i,
		int &	n
	)			`[inline]`

Pop current top entry and set position i and value n.

Definition at line 189 of file incremental.hpp.

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