<div dir="ltr">The constraint manager has limited functionality in comparing symbols to symbols.<br>Though, it wouldn't be too hard to make it a bit smarter.<br><br>I would like to implement the following logic in the constraint manager class hierarchy:<br>Given `<span style="font-family:monospace">a</span>` and `<span style="font-family:monospace">b</span>` well-constrained symbols.<br>We should know that `a` less than `<span style="font-family:monospace">b</span>` if the possible maximum value of `<span style="font-family:monospace">a</span>` is still less than the minimum value of `<span style="font-family:monospace">b</span>`.<br>In other words: `<span style="font-family:monospace">maxOf(a) < minOf(b)  =>  a < b</span>`<br><br>AFAIK `RangedConstraintManager` provides the interface to compare symbols to constants.<br>The `RangeConstraintManager` class only implements that interface.<br><br>Should I extend the `<span style="font-family:monospace">RangedConstraintManager</span>` interface to be able to compare symbols to symbols?<br>Or, I could create another interface layer on top of `<span style="font-family:monospace">RangedConstraintManager</span>` interface to provide the necessary functions.<br><br>Which approach should I prefer?<br><br>Balazs</div>