Function monotonic_solver::solve_and_reduce [−] [src]

pub fn solve_and_reduce<T: Clone + PartialEq + Eq + Hash>(
    start: &[T], 
    goal: &[T], 
    filter: &[T], 
    order_constraints: &[(T, T)], 
    infer: fn(_: &HashSet<T>, _: &HashSet<T>, _: &[T]) -> Option<T>
) -> Result<Vec<T>, Vec<T>>

Solves and reduces the proof to those steps that are necessary.