# Unary scheduling constraints

[Testing finite domain integers]

## Variable Documentation

Gecode::IntArgs Test::Int::Unary::p1(4, 2, 2, 2, 2) |

ManFixPUnary Test::Int::Unary::mfu10(p1, 0) |

ManFixPUnary Test::Int::Unary::mfu1i(p1, Gecode::Int::Limits::min) |

OptFixPUnary Test::Int::Unary::ofu10(p1, 0) |

OptFixPUnary Test::Int::Unary::ofu1i(p1, Gecode::Int::Limits::min) |

ManFlexUnary Test::Int::Unary::mflu10(4, 0, 2, 0) |

ManFlexUnary Test::Int::Unary::mflu1i(4, 0, 2, Gecode::Int::Limits::min) |

ManFlexUnary Test::Int::Unary::mflu101(4, 1, 3, 0) |

ManFlexUnary Test::Int::Unary::mflu1i1(4, 1, 3, Gecode::Int::Limits::min) |

OptFlexUnary Test::Int::Unary::oflu10(4, 0, 2, 0) |

OptFlexUnary Test::Int::Unary::oflu1i(4, 0, 2, Gecode::Int::Limits::min) |

Gecode::IntArgs Test::Int::Unary::p10(5, 2, 2, 0, 2, 2) |

ManFixPUnary Test::Int::Unary::mfu010(p10, 0) |

ManFixPUnary Test::Int::Unary::mfu01i(p10, Gecode::Int::Limits::min) |

OptFixPUnary Test::Int::Unary::ofu010(p10, 0) |

OptFixPUnary Test::Int::Unary::ofu01i(p10, Gecode::Int::Limits::min) |

ManFlexUnary Test::Int::Unary::mflu010(5, 0, 2, 0) |

ManFlexUnary Test::Int::Unary::mflu01i(5, 0, 2, Gecode::Int::Limits::min) |

OptFlexUnary Test::Int::Unary::oflu010(5, 0, 2, 0) |

OptFlexUnary Test::Int::Unary::oflu01i(5, 0, 2, Gecode::Int::Limits::min) |

Gecode::IntArgs Test::Int::Unary::p2(4, 4, 3, 3, 5) |

ManFixPUnary Test::Int::Unary::mfu20(p2, 0) |

ManFixPUnary Test::Int::Unary::mfu2i(p2, Gecode::Int::Limits::min) |

OptFixPUnary Test::Int::Unary::ofu20(p2, 0) |

OptFixPUnary Test::Int::Unary::ofu2i(p2, Gecode::Int::Limits::min) |

ManFlexUnary Test::Int::Unary::mflu20(4, 3, 5, 0) |

ManFlexUnary Test::Int::Unary::mflu2i(4, 3, 5, Gecode::Int::Limits::min) |

OptFlexUnary Test::Int::Unary::oflu20(4, 3, 5, 0) |

OptFlexUnary Test::Int::Unary::oflu2i(4, 3, 5, Gecode::Int::Limits::min) |

Gecode::IntArgs Test::Int::Unary::p20(6, 4, 0, 3, 3, 0, 5) |

ManFixPUnary Test::Int::Unary::mfu020(p20, 0) |

ManFixPUnary Test::Int::Unary::mfu02i(p20, Gecode::Int::Limits::min) |

OptFixPUnary Test::Int::Unary::ofu020(p20, 0) |

OptFixPUnary Test::Int::Unary::ofu02i(p20, Gecode::Int::Limits::min) |

ManFlexUnary Test::Int::Unary::mflu020(6, 0, 5, 0) |

ManFlexUnary Test::Int::Unary::mflu02i(6, 0, 5, Gecode::Int::Limits::min) |

OptFlexUnary Test::Int::Unary::oflu020(6, 0, 5, 0) |

OptFlexUnary Test::Int::Unary::oflu02i(6, 0, 5, Gecode::Int::Limits::min) |

Gecode::IntArgs Test::Int::Unary::p3(6, 4, 2, 9, 3, 7, 5) |

ManFixPUnary Test::Int::Unary::mfu30(p3, 0) |

ManFixPUnary Test::Int::Unary::mfu3i(p3, Gecode::Int::Limits::min) |

OptFixPUnary Test::Int::Unary::ofu30(p3, 0) |

OptFixPUnary Test::Int::Unary::ofu3i(p3, Gecode::Int::Limits::min) |

ManFlexUnary Test::Int::Unary::mflu30(6, 2, 7, 0) |

ManFlexUnary Test::Int::Unary::mflu3i(6, 2, 7, Gecode::Int::Limits::min) |

OptFlexUnary Test::Int::Unary::oflu30(6, 2, 7, 0) |

OptFlexUnary Test::Int::Unary::oflu3i(6, 2, 7, Gecode::Int::Limits::min) |

Gecode::IntArgs Test::Int::Unary::p30(8, 4, 0, 2, 9, 3, 7, 5, 0) |

ManFixPUnary Test::Int::Unary::mfu030(p30, 0) |

ManFixPUnary Test::Int::Unary::mfu03i(p30, Gecode::Int::Limits::min) |

OptFixPUnary Test::Int::Unary::ofu030(p30, 0) |

OptFixPUnary Test::Int::Unary::ofu03i(p30, Gecode::Int::Limits::min) |

ManFlexUnary Test::Int::Unary::mflu030(8, 0, 9, 0) |

ManFlexUnary Test::Int::Unary::mflu03i(8, 0, 9, Gecode::Int::Limits::min) |

OptFlexUnary Test::Int::Unary::oflu030(8, 0, 9, 0) |

OptFlexUnary Test::Int::Unary::oflu03i(8, 0, 9, Gecode::Int::Limits::min) |