pub fn enclose(
run: Run<'_>,
state: &StateValues,
problem: &Problem<'_>,
) -> GeopResult<Enclosure>Expand description
An enclosure of a true solution of the constraints of the program run
runs near where
state has the values problem frees — a solution to the solver’s
tolerance (see System::enclose).