Module rational_deduction::util

Utilities

Functions

by_pairs	Generate an iterator that returns in pairs or returns Some(None) if a pair could not be formed.
has_intersection	Checks if the two multisets share any elements.
has_intersection_by	Checks if the two multisets share any elements.
multiset_symmetric_difference	Computes the symmetric difference of two multisets.
multiset_symmetric_difference_by	Computes the symmetric difference of two multisets.
two_item_iter	Generates a two item iterator.