40 #ifndef __GECODE_SET_INT_HH__
41 #define __GECODE_SET_INT_HH__
45 namespace Gecode {
namespace Set {
namespace Int {
61 Gecode::Int::IntView,Gecode::Int::PC_INT_BND> {
89 Gecode::Int::IntView,Gecode::Int::PC_INT_DOM> {
117 Gecode::Int::IntView,Gecode::Int::PC_INT_DOM,Gecode::Int::BoolView> {
176 Gecode::Int::IntView,Gecode::Int::PC_INT_DOM> {
204 Gecode::Int::IntView,Gecode::Int::PC_INT_DOM,Gecode::Int::BoolView> {
235 Gecode::Int::IntView,Gecode::Int::PC_INT_BND> {
348 Gecode::Int::PC_BOOL_VAL,
376 int index(
void)
const;