[−][src]Function avalog::solve_and_reduce
pub fn solve_and_reduce<T>(
start: &[T],
goal: &[T],
max_size: Option<usize>,
filter: &[T],
order_constraints: &[(T, T)],
infer: fn(&HashSet<T, RandomState>, &HashSet<T, RandomState>, &[T]) -> Option<T>
) -> Result<Vec<T>, Vec<T>> where
T: Clone + PartialEq<T> + Eq + Hash,
Solves and reduces the proof to those steps that are necessary.