Gecode::Int::Channel::ProcessStack Class Reference
List of all members.Detailed Description
A simple integer stack for tracking which views are assigned.Constructed such that temporary memory can be used. Requires that only positive numbers are pushed (uses -1 as sentinel element).
Definition at line 30 of file stack.icc.
Public Member Functions | |
ProcessStack (int *p) | |
bool | empty (void) const |
int | pop (void) |
void | push (int i) |
Constructor & Destructor Documentation
Gecode::Int::Channel::ProcessStack::ProcessStack | ( | int * | p | ) | [inline] |
Member Function Documentation
bool Gecode::Int::Channel::ProcessStack::empty | ( | void | ) | const [inline] |
int Gecode::Int::Channel::ProcessStack::pop | ( | void | ) | [inline] |
void Gecode::Int::Channel::ProcessStack::push | ( | int | i | ) | [inline] |
The documentation for this class was generated from the following file:
- gecode/int/channel/stack.icc (Revision: 2403)