Sequence encoding
Type : Selection
Range : The settings listed below
Default : Direct
This option determines the encoding used for CP::Sequence constraints. Possible values are:
Direct
Count
Partial sum
With setting ‘Direct’ the AIMMS-CP Optimizer interface uses the IloSequence class of CP Optimizer.
Encoding ‘Count’ uses IloCount functions of CP Optimizer to write the CP::Sequence constraints explicitly.
Encoding ‘Partial sum’ follows the encoding proposed by Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter Stuckey and Toby Walsh in Encodings of the SEQUENCE constraint, In: CP. Volume 4741 of LNCS, 2007, pp 210–224, Springer.
Note
Encoding ‘Direct’ is not supported for cyclic CP::Sequence constraints. For cyclic CP::Sequence constraints the ‘Count’ encoding is used if the setting of this option equals ‘Direct’.
The mod file is not printed if the value of this option equals ‘Direct’ or ‘Partial sum’.
Learn more about