Check whether use_precise_ρ still works

[schillic]

No description provided.

[kpotomkin]

@schillic @mforets It doesn't work and ρ_helper always takes default implementation of the use_precise_ρ. Any suggestions on why it happens?

[schillic]

It would be helpful to have an example (model, branches, etc.) for debugging.

[schillic]

This is the default implementation:

Reachability.jl/src/ReachSets/DiscretePost/DiscretePost.jl

Lines 100 to 104 in 156e5f5

	# default: always apply line search
	function use_precise_ρ(𝒫::DiscretePost,
	cap::Intersection{N})::Bool where N<:Real
	return true
	end

We override this policy for LazyDiscretePost:

Reachability.jl/src/ReachSets/DiscretePost/LazyDiscretePost.jl

Lines 203 to 214 in 156e5f5

	# usually do not use line search
	function use_precise_ρ(𝒫::LazyDiscretePost,
	cap::Intersection{N})::Bool where N<:Real
	return false
	end
	# use line search for the outermost level, which is a LinearMap
	function use_precise_ρ(𝒫::LazyDiscretePost,
	cap::Intersection{N, <:LinearMap{N}}
	)::Bool where N<:Real
	return true
	end

So the question is whether you use LazyDiscretePost or a different operator. What is your expected result?