Orders

Declared in order.hpp.

This file contains documentation for several class and function templates for comparing words or strings with respect to certain reduction orderings.

Functions

• lexicographical_compare (references)
• lexicographical_compare (pointers)
• shortlex_compare (iterators)
• shortlex_compare (references)
• shortlex_compare (pointers)
• recursive_path_compare (iterators)
• recursive_path_compare (references)
• recursive_path_compare (pointers)

Types

• LexicographicalCompare
• ShortLexCompare
• RecursivePathCompare