[NFC] Remove from UnivariateLinearPolyBase::getValue().
This interface should not have existed in the first place, let alone be a public member. It allows calling `ElementCount::get(..)->getValue()`, which is ambiguous. The interfaces to be used are either getFixedValue() or getKnownMinValue().
Loading
Please sign in to comment