1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-26 10:35:29 +01:00

add warmstarting

This commit is contained in:
kalmarek 2018-01-25 21:38:38 +01:00
parent cb3c6a0ef5
commit 7a56aad3dc

View File

@ -193,7 +193,7 @@ function check_λ(name, S, λ, P, radius, logger)
end end
end end
function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius) function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius, warm::Bool=false)
isdir(name) || mkdir(name) isdir(name) || mkdir(name)
LOGGER = Memento.getlogger() LOGGER = Memento.getlogger()
@ -212,7 +212,10 @@ function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius)
fullpath = joinpath(name, string(upper_bound)) fullpath = joinpath(name, string(upper_bound))
isdir(fullpath) || mkdir(fullpath) isdir(fullpath) || mkdir(fullpath)
if exists(filename(fullpath, )) && exists(filename(fullpath, :P)) cond1 = exists(filename(fullpath, ))
cond2 = exists(filename(fullpath, :P))
if !sett.warmstart && cond1 && cond2
info(LOGGER, "Loading precomputed λ, P...") info(LOGGER, "Loading precomputed λ, P...")
λ, P = λandP(fullpath) λ, P = λandP(fullpath)
else else