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.
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:
