5.238. lt

DESCRIPTIONLINKS
Origin

Arithmetic.

Constraint

𝚕𝚝(𝚅𝙰𝚁1,𝚅𝙰𝚁2)

Synonyms

𝚛𝚎𝚕, 𝚡𝚕𝚝𝚢.

Arguments
𝚅𝙰𝚁1𝚍𝚟𝚊𝚛
𝚅𝙰𝚁2𝚍𝚟𝚊𝚛
Purpose

Enforce the fact that the first variable is strictly less than the second variable.

Example
(1,8)

The 𝚕𝚝 constraint holds since 1 is strictly less than 8.

Symmetries

  • 𝚅𝙰𝚁1 can be replaced by any value <𝚅𝙰𝚁2.

  • 𝚅𝙰𝚁2 can be replaced by any value >𝚅𝙰𝚁1.

Systems

lt in Choco, rel in Gecode, xlty in JaCoP, #< in SICStus.

See also

common keyword: 𝚎𝚚 (binary constraint,arithmetic constraint).

implies: 𝚕𝚎𝚚, 𝚗𝚎𝚚.

implies (if swap arguments): 𝚐𝚝.

negation: 𝚐𝚎𝚚.

Keywords

constraint arguments: binary constraint.

constraint type: predefined constraint, arithmetic constraint.

filtering: arc-consistency.