Julia Constraints

Appearance

Constraints.jl: Streamlining Constraint Definition and Integration in Julia ​

Elementary Constraints ​

Constraints.xcsp_instantiation Function
julia
xcsp_instantiation(; list, values)

Return true if the instantiation constraint is satisfied, false otherwise. The instantiation constraint is a global constraint ensuring that x 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: Global constraint ensuring that x takes on a specific set of values in a specific order.
julia
concept(:instantiation, x; pair_vars)
concept(:instantiation)(x; pair_vars)

Examples

julia
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