C++ Reference: affine_relation

This documentation is automatically generated.

Union-Find algorithm to maintain "representative" for relations of the form: x = coeff * y + offset, where "coeff" and "offset" are integers. The variable x and y are represented by non-negative integer indices. The idea is to express variables in affine relation using as little different variables as possible (the representatives).

IMPORTANT: If there are relations with std::abs(coeff) != 1, then some relations might be ignored. See TryAdd() for more details.

TODO(user): it might be possible to do something fancier and drop less relations if all the affine relations are given before hand.



Send feedback about...