Global Constraint Catalog: Ksequence

3.7.218. Sequence

$𝚊𝚕𝚕_𝚎𝚚𝚞𝚊𝚕_𝚙𝚎𝚊𝚔$ ,
$𝚊𝚕𝚕_𝚎𝚚𝚞𝚊𝚕_𝚙𝚎𝚊𝚔_𝚖𝚊𝚡$ ,
$𝚊𝚕𝚕_𝚎𝚚𝚞𝚊𝚕_𝚟𝚊𝚕𝚕𝚎𝚢$ ,
$𝚊𝚕𝚕_𝚎𝚚𝚞𝚊𝚕_𝚟𝚊𝚕𝚕𝚎𝚢_𝚖𝚒𝚗$ ,
$𝚊𝚖𝚘𝚗𝚐_𝚜𝚎𝚚$ ,
$𝚊𝚛𝚒𝚝𝚑_𝚜𝚕𝚒𝚍𝚒𝚗𝚐$ ,
$𝚋𝚒𝚐_𝚙𝚎𝚊𝚔$ ,
$𝚋𝚒𝚐_𝚟𝚊𝚕𝚕𝚎𝚢$ ,
$𝚌𝚑𝚊𝚗𝚐𝚎_𝚌𝚘𝚗𝚝𝚒𝚗𝚞𝚒𝚝𝚢$ ,
$𝚌𝚢𝚌𝚕𝚎_𝚌𝚊𝚛𝚍_𝚘𝚗_𝚙𝚊𝚝𝚑$ ,
$𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚙𝚎𝚊𝚔$ ,
$𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚟𝚊𝚕𝚕𝚎𝚢$ ,
$𝚍𝚎𝚎𝚙𝚎𝚜𝚝_𝚟𝚊𝚕𝚕𝚎𝚢$ ,
$𝚏𝚞𝚕𝚕_𝚐𝚛𝚘𝚞𝚙$ ,
$𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚘𝚗𝚝𝚒𝚐𝚞𝚒𝚝𝚢$ ,
$𝚐𝚛𝚘𝚞𝚙$ ,
$𝚐𝚛𝚘𝚞𝚙_𝚜𝚔𝚒𝚙_𝚒𝚜𝚘𝚕𝚊𝚝𝚎𝚍_𝚒𝚝𝚎𝚖$ ,
$𝚑𝚒𝚐𝚑𝚎𝚜𝚝_𝚙𝚎𝚊𝚔$ ,
$𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚙𝚎𝚊𝚔$ ,
$𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚟𝚊𝚕𝚕𝚎𝚢$ ,
$𝚒𝚗𝚏𝚕𝚎𝚡𝚒𝚘𝚗$ ,
$𝚕𝚘𝚗𝚐𝚎𝚜𝚝_𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎$ ,
$𝚕𝚘𝚗𝚐𝚎𝚜𝚝_𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎$ ,
$𝚗𝚘_𝚙𝚎𝚊𝚔$ ,
$𝚗𝚘_𝚟𝚊𝚕𝚕𝚎𝚢$ ,
$𝚗𝚟𝚒𝚜𝚒𝚋𝚕𝚎_𝚏𝚛𝚘𝚖_𝚎𝚗𝚍$ ,
$𝚗𝚟𝚒𝚜𝚒𝚋𝚕𝚎_𝚏𝚛𝚘𝚖_𝚜𝚝𝚊𝚛𝚝$ ,
$𝚖𝚊𝚡_𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚜𝚕𝚘𝚙𝚎$ ,
$𝚖𝚊𝚡_𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚜𝚕𝚘𝚙𝚎$ ,
$𝚖𝚒𝚗_𝚍𝚎𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚜𝚕𝚘𝚙𝚎$ ,
$𝚖𝚒𝚗_𝚍𝚒𝚜𝚝_𝚋𝚎𝚝𝚠𝚎𝚎𝚗_𝚒𝚗𝚏𝚕𝚎𝚡𝚒𝚘𝚗$ ,
$𝚖𝚒𝚗_𝚒𝚗𝚌𝚛𝚎𝚊𝚜𝚒𝚗𝚐_𝚜𝚕𝚘𝚙𝚎$ ,
$𝚖𝚒𝚗_𝚜𝚒𝚣𝚎_𝚏𝚞𝚕𝚕_𝚣𝚎𝚛𝚘_𝚜𝚝𝚛𝚎𝚝𝚌𝚑$ ,
$𝚖𝚒𝚗_𝚠𝚒𝚍𝚝𝚑_𝚙𝚎𝚊𝚔$ ,
$𝚖𝚒𝚗_𝚠𝚒𝚍𝚝𝚑_𝚟𝚊𝚕𝚕𝚎𝚢$ ,
$𝚖𝚞𝚕𝚝𝚒_𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚘𝚗𝚝𝚒𝚐𝚞𝚒𝚝𝚢$ ,
$𝚙𝚎𝚊𝚔$ ,
$𝚙𝚎𝚛𝚒𝚘𝚍$ ,
$𝚙𝚎𝚛𝚒𝚘𝚍_𝚎𝚡𝚌𝚎𝚙𝚝_0$ ,
$𝚙𝚎𝚛𝚒𝚘𝚍_𝚟𝚎𝚌𝚝𝚘𝚛𝚜$ ,
$𝚛𝚎𝚕𝚊𝚡𝚎𝚍_𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚜𝚞𝚖$ ,
$𝚜𝚎𝚚𝚞𝚎𝚗𝚌𝚎_𝚏𝚘𝚕𝚍𝚒𝚗𝚐$ ,
$𝚜𝚒𝚣𝚎_𝚖𝚊𝚡_𝚜𝚎𝚚_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝$ ,
$𝚜𝚒𝚣𝚎_𝚖𝚊𝚡_𝚜𝚝𝚊𝚛𝚝𝚒𝚗𝚐_𝚜𝚎𝚚_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝$ ,
$𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚌𝚊𝚛𝚍_𝚜𝚔𝚒𝚙 0$ ,
$𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚍𝚒𝚜𝚝𝚛𝚒𝚋𝚞𝚝𝚒𝚘𝚗$ ,
$𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚜𝚞𝚖$ ,
$𝚜𝚝𝚛𝚎𝚝𝚌𝚑_𝚙𝚊𝚝𝚑$ ,
$𝚜𝚝𝚛𝚎𝚝𝚌𝚑_𝚙𝚊𝚝𝚑_𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗$ ,
$𝚟𝚊𝚕𝚕𝚎𝚢$ .

Constrains consecutive variables (possibly not all) of a given collection of domain variables or consecutive vertices of a simple path or a simple circuit. Also a constraint restricting a variable (when fixed to 0 the variable may be omitted) according to consecutive variables of a given collection of domain variables.

Global Constraint Catalog

3. Description of the Catalogue

3.7.218. Sequence