Classes |
| class | ManFixPUnary |
| | Test for unary constraint More...
|
| class | OptFixPUnary |
| | Test for unary constraint with optional tasks More...
|
| class | ManFlexUnary |
| | Test for unary constraint More...
|
| class | OptFlexUnary |
| | Test for unary constraint with optional tasks More...
|
Variables |
| Gecode::IntArgs | p1 (4, 2, 2, 2, 2) |
| ManFixPUnary | mfu10 (p1, 0) |
| ManFixPUnary | mfu1i (p1, Gecode::Int::Limits::min) |
| OptFixPUnary | ofu10 (p1, 0) |
| OptFixPUnary | ofu1i (p1, Gecode::Int::Limits::min) |
| ManFlexUnary | mflu10 (4, 0, 2, 0) |
| ManFlexUnary | mflu1i (4, 0, 2, Gecode::Int::Limits::min) |
| ManFlexUnary | mflu101 (4, 1, 3, 0) |
| ManFlexUnary | mflu1i1 (4, 1, 3, Gecode::Int::Limits::min) |
| OptFlexUnary | oflu10 (4, 0, 2, 0) |
| OptFlexUnary | oflu1i (4, 0, 2, Gecode::Int::Limits::min) |
| Gecode::IntArgs | p10 (5, 2, 2, 0, 2, 2) |
| ManFixPUnary | mfu010 (p10, 0) |
| ManFixPUnary | mfu01i (p10, Gecode::Int::Limits::min) |
| OptFixPUnary | ofu010 (p10, 0) |
| OptFixPUnary | ofu01i (p10, Gecode::Int::Limits::min) |
| ManFlexUnary | mflu010 (5, 0, 2, 0) |
| ManFlexUnary | mflu01i (5, 0, 2, Gecode::Int::Limits::min) |
| OptFlexUnary | oflu010 (5, 0, 2, 0) |
| OptFlexUnary | oflu01i (5, 0, 2, Gecode::Int::Limits::min) |
| Gecode::IntArgs | p2 (4, 4, 3, 3, 5) |
| ManFixPUnary | mfu20 (p2, 0) |
| ManFixPUnary | mfu2i (p2, Gecode::Int::Limits::min) |
| OptFixPUnary | ofu20 (p2, 0) |
| OptFixPUnary | ofu2i (p2, Gecode::Int::Limits::min) |
| ManFlexUnary | mflu20 (4, 3, 5, 0) |
| ManFlexUnary | mflu2i (4, 3, 5, Gecode::Int::Limits::min) |
| OptFlexUnary | oflu20 (4, 3, 5, 0) |
| OptFlexUnary | oflu2i (4, 3, 5, Gecode::Int::Limits::min) |
| Gecode::IntArgs | p20 (6, 4, 0, 3, 3, 0, 5) |
| ManFixPUnary | mfu020 (p20, 0) |
| ManFixPUnary | mfu02i (p20, Gecode::Int::Limits::min) |
| OptFixPUnary | ofu020 (p20, 0) |
| OptFixPUnary | ofu02i (p20, Gecode::Int::Limits::min) |
| ManFlexUnary | mflu020 (6, 0, 5, 0) |
| ManFlexUnary | mflu02i (6, 0, 5, Gecode::Int::Limits::min) |
| OptFlexUnary | oflu020 (6, 0, 5, 0) |
| OptFlexUnary | oflu02i (6, 0, 5, Gecode::Int::Limits::min) |
| Gecode::IntArgs | p3 (6, 4, 2, 9, 3, 7, 5) |
| ManFixPUnary | mfu30 (p3, 0) |
| ManFixPUnary | mfu3i (p3, Gecode::Int::Limits::min) |
| OptFixPUnary | ofu30 (p3, 0) |
| OptFixPUnary | ofu3i (p3, Gecode::Int::Limits::min) |
| ManFlexUnary | mflu30 (6, 2, 7, 0) |
| ManFlexUnary | mflu3i (6, 2, 7, Gecode::Int::Limits::min) |
| OptFlexUnary | oflu30 (6, 2, 7, 0) |
| OptFlexUnary | oflu3i (6, 2, 7, Gecode::Int::Limits::min) |
| Gecode::IntArgs | p30 (8, 4, 0, 2, 9, 3, 7, 5, 0) |
| ManFixPUnary | mfu030 (p30, 0) |
| ManFixPUnary | mfu03i (p30, Gecode::Int::Limits::min) |
| OptFixPUnary | ofu030 (p30, 0) |
| OptFixPUnary | ofu03i (p30, Gecode::Int::Limits::min) |
| ManFlexUnary | mflu030 (8, 0, 9, 0) |
| ManFlexUnary | mflu03i (8, 0, 9, Gecode::Int::Limits::min) |
| OptFlexUnary | oflu030 (8, 0, 9, 0) |
| OptFlexUnary | oflu03i (8, 0, 9, Gecode::Int::Limits::min) |
