Struct LexicographicCompareOptions

Struct Documentation

struct LexicographicCompareOptions

State shared by a (recursive) lexicographic comparison of expressions

Public Functions

std::size_t cardinal_position(std::wstring_view label) const
Returns:

position of (the non-adjoint form of) label among cardinal_tensor_labels, or cardinal_tensor_labels.size() if it is not a cardinal label

Public Members

container::vector<std::wstring> cardinal_tensor_labels

tensor labels that precede all others, in this order

Public Static Functions

static LexicographicCompareOptions from_default_context()
Returns:

the options that use the cardinal tensor labels of the default context