Classes | |
| class | Gecode::Int::ViewRanges |
| Range iterator for integer views. More... | |
| class | Gecode::Int::ViewValues |
| Value iterator for integer views. More... | |
| class | Gecode::Int::ViewDiffRanges |
| Range iterator for cached integer views More... | |
Modules | |
| Integer views | |
| Testing relations between integer views | |
| Integer modification events and propagation conditions | |