Skip to content

Operator stats enhancement#667

Merged
jcoupey merged 6 commits intomasterfrom
enhancement/operator-stats
Feb 1, 2022
Merged

Operator stats enhancement#667
jcoupey merged 6 commits intomasterfrom
enhancement/operator-stats

Conversation

@jcoupey
Copy link
Copy Markdown
Collaborator

@jcoupey jcoupey commented Jan 31, 2022

Issue

Follow-up to #659

Tasks

  • Add a dedicated build flag for local search operator stats
  • Replace string names with an enum
  • review

@jcoupey jcoupey changed the title Enhancement/operator stats Operator stats enhancement Jan 31, 2022
@jcoupey jcoupey added this to the v1.12.0 milestone Jan 31, 2022
@jcoupey jcoupey mentioned this pull request Jan 31, 2022
4 tasks
Comment thread src/algorithms/local_search/local_search.cpp Outdated
Comment thread src/algorithms/local_search/local_search.cpp Outdated
Comment thread src/algorithms/local_search/local_search.h Outdated
@jcoupey
Copy link
Copy Markdown
Collaborator Author

jcoupey commented Feb 1, 2022

This should look better, both codewise and for the computing times overhead.

@jcoupey jcoupey merged commit e393809 into master Feb 1, 2022
@jcoupey jcoupey deleted the enhancement/operator-stats branch February 1, 2022 13:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants