Generated on Sat Aug 25 2012 15:53:12 for Gecode by doxygen 1.7.5
Gecode::Int::Extensional::Incremental::Work Member List
This is the complete list of members for Gecode::Int::Extensional::Incremental::Work, including all inherited members.
empty(void) const Gecode::Int::Extensional::Incremental::Work [inline]
pop(Space &home, int &i, int &n)Gecode::Int::Extensional::Incremental::Work [inline]
push(Space &home, int i, int n)Gecode::Int::Extensional::Incremental::Work [inline]
Work(void)Gecode::Int::Extensional::Incremental::Work [inline]