From e067dc81a8136e4c24ec5be6ad4b908f383cf39c Mon Sep 17 00:00:00 2001 From: Azzaare Date: Sat, 5 Oct 2024 14:22:35 +0900 Subject: [PATCH] Update doc --- src/constraints/extension.jl | 4 ++-- src/constraints/intention.jl | 17 +---------------- 2 files changed, 3 insertions(+), 18 deletions(-) diff --git a/src/constraints/extension.jl b/src/constraints/extension.jl index 7b0e276..87e1157 100644 --- a/src/constraints/extension.jl +++ b/src/constraints/extension.jl @@ -13,9 +13,9 @@ Global constraint ensuring that the tuple `x` matches a configuration listed wit const description_conflicts = """ Global constraint ensuring that the tuple `x` does not match any configuration listed within the conflict set `pair_vars`. This constraint, originating from the extension model, stipulates that `x` must avoid all configurations defined as conflicts: `x ∉ pair_vars`. It is useful for specifying tuples that are explicitly forbidden and should be excluded from the solution space. """ - +xcsp_extension(list, ::Nothing, ::Nothing) = false xcsp_extension(list, ::Nothing, conflicts) = list ∉ conflicts -xcsp_extension(list, supports, _) = list ∈ supports +xcsp_extension(list, supports, ::Nothing) = list ∈ supports """ xcsp_extension(; list, supports=nothing, conflicts=nothing) diff --git a/src/constraints/intention.jl b/src/constraints/intention.jl index 4494140..9b231b6 100644 --- a/src/constraints/intention.jl +++ b/src/constraints/intention.jl @@ -23,22 +23,7 @@ concept(:dist_different)(x) ``` # Examples - -````@example debug2 -2 + 2 -```` - -```@example debug1 -2 + 2 -``` - -```@example intention1 -using Constraints # hide -c = concept(:dist_different) -c([1, 2, 3, 3]) && !c([1, 2, 3, 4]) -``` - -````@example intention2 +````julia using Constraints # hide c = concept(:dist_different) c([1, 2, 3, 3]) && !c([1, 2, 3, 4])