Closed JanKoelzer closed 6 years ago
Store (approximation) of last propagated value and compare. Callbacks will only be called, if an actually refined value would be propagated. Costs of callback execution can be avoided, but overhead is needed to store propagated values.
If #98 is a performance improvement, this PR will most likely be useless.
Implemented in #145 by a different approach.
Store (approximation) of last propagated value and compare. Callbacks will only be called, if an actually refined value would be propagated. Costs of callback execution can be avoided, but overhead is needed to store propagated values.