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.