Skip to content

Conversation

@JanKoelzer
Copy link
Contributor

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.

Store (approximation) of last propagated value and compare.
@JanKoelzer JanKoelzer force-pushed the performance/noRepeatedPropagation branch from d429e1b to 227323a Compare March 31, 2018 13:21
@JanKoelzer
Copy link
Contributor Author

If #98 is a performance improvement, this PR will most likely be useless.

@JanKoelzer
Copy link
Contributor Author

Implemented in #145 by a different approach.

@JanKoelzer JanKoelzer closed this Jun 29, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant