The advantage of an ROBDD is that it is canonical (unique) for a particular function and variable order.
Преимущество сокращенной упорядоченной БДР в том, что она является канонической (уникальной) для конкретной функции и заданного порядка переменных.