The IlcStrictLexicographic function returns a constraint which maintains two arrays to be lexicographically ordered.

More specifically, IlcStrictLexicographic(x, y) maintains that x is strictly less than y in the lexicographical sense of the term. This means that there exists i < size(x) such that for all j < i, x[j] = y[j] and x[i] < y[i].

Note that the size of the two arrays must be the same.