[−][src]Function monotonic_solver::search_with_accelerator
pub fn search_with_accelerator<T, F, U, A>(
start: &[T],
pat: F,
max_size: Option<usize>,
filter: &[T],
order_constraints: &[(T, T)],
infer: fn(_: Solver<'_, T, A>, story: &[T]) -> Option<T>,
accelerator: &mut A
) -> (Vec<U>, Result<(), Error>) where
T: Clone + PartialEq + Eq + Hash,
F: Fn(&T) -> Option<U>,
Searches for matches by a pattern.
pat
specifies the map and acceptance criteriamax_size
specifies the maximum size of proof
Returns Ok
if all rules where exausted.
Returns Err
if the maximum size of proof was exceeded.