Function monotonic_solver::solve
[−]
[src]
pub fn solve<T: Clone + PartialEq + Eq + Hash>(
start: &[T],
goal: &[T],
filter: &[T],
after_constraints: &[(T, T)],
infer: fn(_: &HashSet<T>, _: &HashSet<T>, _: &[T]) -> Option<T>
) -> Result<Vec<T>, Vec<T>>
Solves without reducing.