Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::Extensional::Incremental< View >::Work Class Reference

Work stack More...

#include <extensional.hh>

Public Member Functions

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

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: