Showing 1 of 1 files from the diff.

@@ -32,7 +32,7 @@
Loading
32 32
The value of a scalar function is enforced to take a value from this set of
33 33
values.
34 34
35 -
This constraint is sometimes called `in`.
35 +
This constraint is sometimes called `in` or `allowed_assignments`.
36 36
37 37
## Example
38 38
@@ -65,6 +65,7 @@
Loading
65 65
66 66
"""
67 67
    DifferentFrom{T <: Number}(value::T)
68 +
    
68 69
The set exclusing the single point ``x \\in \\mathbb{R}`` where ``x`` is given
69 70
by `value`.
70 71
"""
@@ -79,7 +80,15 @@
Loading
79 80
"""
80 81
    Count{T <: Real}(value::T, dimension::Int)
81 82
82 -
``\\{(y, x) \\in \\mathbb{N} \\times \\mathbb{R}^n : y = |\\{i | x_i = value\\}|\\}``
83 +
``\\{(y, x) \\in \\mathbb{N} \\times \\mathbb{T}^\\mathtt{dimension} : y = |\\{i | x_i = value\\}|\\}``
84 +
85 +
`dimension` is the number of variables that are checked against the `value`, 
86 +
i.e. the result variable is not included.
87 +
88 +
## Example
89 +
90 +
    [w, x, y, z] in Count(2.0, 3)
91 +
    # w == sum([x, y, z] .== 2.0)
83 92
"""
84 93
struct Count{T <: Real} <: MOI.AbstractVectorSet
85 94
    value::T
Files Coverage
src/ConstraintProgrammingExtensions.jl 29.17%
Project Totals (1 files) 29.17%
Sunburst
The inner-most circle is the entire project, moving away from the center are folders then, finally, a single file. The size and color of each slice is representing the number of statements and the coverage, respectively.
Icicle
The top section represents the entire project. Proceeding with folders and finally individual files. The size and color of each slice is representing the number of statements and the coverage, respectively.
Grid
Each block represents a single file in the project. The size and color of each block is represented by the number of statements and the coverage, respectively.
Loading