Generated on Thu Mar 22 10:39:57 2012 for Gecode by doxygen 1.6.3

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

Work stack More...

#include <extensional.hh>

List of all members.

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

template<class View>
class Gecode::Int::Extensional::Incremental< View >::Work

Work stack

Definition at line 425 of file extensional.hh.


Constructor & Destructor Documentation

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

Initialize as empty.

Definition at line 175 of file incremental.hpp.


Member Function Documentation

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: