[−][src]Function linear_solver::solve_minimum
pub fn solve_minimum<T: Clone + PartialEq + Eq + Hash>(
facts: Vec<T>,
infer: fn(cache: &HashSet<T>, _: &[T]) -> Option<Inference<T>>
) -> Vec<T>
Solves the starting condition using the infer
function for inference.
Assumes that infer
is deterministic and leading to a cycle for every input.
Finds the minimum set of facts in the cycle.