diff --git a/src/Constraints.jl b/src/Constraints.jl index 5827942..d8d2446 100644 --- a/src/Constraints.jl +++ b/src/Constraints.jl @@ -38,8 +38,8 @@ include("constraint.jl") ## SECTION - Usual constraints (based on and including XCSP3-core categories) include("usual_constraints.jl") -# SECTION - Generic Constraints: intension, extension -include("constraints/intension.jl") +# SECTION - Generic Constraints: intention, extension +include("constraints/intention.jl") include("constraints/extension.jl") # SECTION - Constraints defined from Languages diff --git a/src/constraints/intension.jl b/src/constraints/intention.jl similarity index 85% rename from src/constraints/intension.jl rename to src/constraints/intention.jl index aa71b17..421f9df 100644 --- a/src/constraints/intension.jl +++ b/src/constraints/intention.jl @@ -23,11 +23,27 @@ concept(:dist_different)(x) ``` # Examples -```julia + +````@example debug2 +2 + 2 +```` + +```@example debug1 +2 + 2 +``` + +```@example intention1 +using Constraints # hide c = concept(:dist_different) -c([1, 2, 3, 3]) # true -c([1, 2, 3, 4]) # false +c([1, 2, 3, 3]) && !c([1, 2, 3, 4]) ``` + +````@example intention2 +using Constraints # hide +c = concept(:dist_different) +c([1, 2, 3, 3]) && !c([1, 2, 3, 4]) +```` + """ xcsp_intension(; list, predicate) = predicate(list) diff --git a/src/usual_constraints.jl b/src/usual_constraints.jl index c37b500..729a272 100644 --- a/src/usual_constraints.jl +++ b/src/usual_constraints.jl @@ -225,6 +225,7 @@ concept(:all_different, [1, 2, 3]) ``` """ concept(s::Symbol, args...; kargs...) = concept(USUAL_CONSTRAINTS[s])(args...; kargs...) +concept(s::Symbol) = concept(USUAL_CONSTRAINTS[s]) ## SECTION - Test Items @testitem "Usual constraints" tags = [:usual, :constraints] default_imports = false begin