Function monotonic_solver::search

pub fn search<T, F, U>(
    start: &[T], 
    pat: F, 
    max_size: usize, 
    filter: &[T], 
    order_constraints: &[(T, T)], 
    infer: fn(cache: &HashSet<T>, filter_cache: &HashSet<T>, story: &[T]) -> Option<T>
) -> Result<Vec<U>, Vec<U>> where
    T: Clone + PartialEq + Eq + Hash,
    F: Fn(&T) -> Option<U>, 

Searches for matches by a pattern.

• pat specifies the map and acceptance criteria
• max_size specifies the maximum size of proof

Returns Ok if all rules where exausted. Returns Err if the maximum size of proof was exceeded.