Feature/refactoring renaming - Githubissues

astra-uu-se / atlantis

CBLS solver

2 stars 1 forks source link

Feature/refactoring renaming #66

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

some renaming and refactoring of code

get* prefix removed from methods
begin/end query renamed to begin/end probe
SavedInt and Saved renamed to CommittableInt and Committable
stableVar renamed to computedVar
Decision variables renamed to search variables
objective variables renamed to evaluation variables
Propagation Queue manipulation moved from engine to propagation graph
pop/push renamed to enqueue/dequeue