Constraints.jl: Streamlining Constraint Definition and Integration in Julia

Elementary Constraints

# Constraints.xcsp_instantiation — Function.

xcsp_instantiation(; list, values)

Return true if the instantiation constraint is satisfied, false otherwise. The instantiation constraint is a global constraint used in constraint programming that ensures that a list of variables takes on a specific set of values in a specific order.

Arguments

• list::AbstractVector: list of values to check.

• values::AbstractVector: list of values to check against.

Variants

• :instantiation: The instantiation constraint is a global constraint used in constraint programming that ensures that a list of variables takes on a specific set of values in a specific order.

concept(:instantiation, x; pair_vars)
concept(:instantiation)(x; pair_vars)

Examples

c = concept(:instantiation)

c([1, 2, 3, 4, 5]; pair_vars=[1, 2, 3, 4, 5])
c([1, 2, 3, 4, 5]; pair_vars=[1, 2, 3, 4, 6])

source