Closed copybara-service[bot] closed 2 months ago
Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA).
View this failed invocation of the CLA check for more information.
For the most up to date status, view the checks section at the bottom of the pull request.
Preserve special initial values in InRange.
Currently, refining a
Domain
fromArbitrary<T>
toInRange<T>
causes it to "forget" any special values specified toInit()
the domain. This change adds aSpecialValues<T>::Get() -> std::array<T>
that provides these special values, defaulting to{}
.