Generated on Tue Sep 25 2012 20:53:30 for Gecode by doxygen 1.7.5
Gecode::Int::Extensional::Incremental::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

Work stack


Constructor & Destructor Documentation

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

Initialize as empty.

Definition at line 175 of file incremental.hpp.


Member Function Documentation

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

Check whether work stack is empty.

Definition at line 179 of file incremental.hpp.

void Gecode::Int::Extensional::Incremental::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.

void Gecode::Int::Extensional::Incremental::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: