Skip to content

Commit e6d28fc

Browse files
authored
Merge pull request #67 from JuliaConstraints/dev
Tag new release for ConstraintExplorer
2 parents fe7d101 + 8778c04 commit e6d28fc

File tree

2 files changed

+12
-2
lines changed

2 files changed

+12
-2
lines changed

Project.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
name = "ConstraintDomains"
22
uuid = "5800fd60-8556-4464-8d61-84ebf7a0bedb"
33
authors = ["Jean-François Baffier"]
4-
version = "0.3.14"
4+
version = "0.3.15"
55

66
[deps]
77
ConstraintCommons = "e37357d9-0691-492f-a822-e5ea6a920954"

src/explore.jl

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -244,7 +244,7 @@ end
244244
245245
Internals of the `explore!` function. Behavior is automatically adjusted on the kind of exploration: `:flexible`, `:complete`, `:partial`.
246246
"""
247-
function _explore!(explorer, f, ::Val{:partial})
247+
function _explore!(explorer, f, ::Val{:partial};)
248248
sl = explorer.settings.solutions_limit
249249
ms = explorer.settings.max_samplings
250250

@@ -329,6 +329,16 @@ function explore(domains, concept; settings = ExploreSettings(domains), paramete
329329
return explorer.state.solutions, explorer.state.non_solutions
330330
end
331331

332+
function _check!(explorer, configurations)
333+
g =
334+
x -> all([
335+
f(isempty(vars) ? x : @view x[vars]) for
336+
(f, vars) in explorer.concepts |> values
337+
])
338+
foreach(c -> update_exploration!(explorer, g, c, :complete), configurations)
339+
return nothing
340+
end
341+
332342
## SECTION - Test Items
333343
@testitem "Exploration" tags = [:exploration] begin
334344
domains = [domain([1, 2, 3, 4]) for i = 1:4]

0 commit comments

Comments
 (0)