Creates and returns a constraint which maintains two arrays to be lexicographically ordered.

Namespace: ILOG.CP
Assembly: oplall (in oplall.dll)

Syntax

C#
public virtual IConstraint StrictLexicographic(
	IIntExpr[] arg1,
	IIntExpr[] arg2
)

Parameters

arg1
Type: array<ILOG.Concert..::..IIntExpr>[]()[][]
arg2
Type: array<ILOG.Concert..::..IIntExpr>[]()[][]

Remarks

More specifically, lexicographic(x, y) maintains that x is 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.

Note: This constraint cannot be used in a logical constraint.

See Also