[−][src]Function monotonic_solver::solve_and_reduce_with_accelerator
pub fn solve_and_reduce_with_accelerator<T: Clone + PartialEq + Eq + Hash, A>(
start: &[T],
goal: &[T],
max_size: Option<usize>,
filter: &[T],
order_constraints: &[(T, T)],
infer: fn(_: Solver<'_, T, A>, story: &[T]) -> Option<T>,
accelerator: fn(_: &[T], _: &[T]) -> A
) -> (Vec<T>, Result<(), Error>)
Solves and reduces the proof to those steps that are necessary.
Uses an accelerator constructor initalized from start and goal.