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] |