Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Refactor DefaultSolver #297

Merged
merged 9 commits into from
Oct 5, 2021
Merged

Refactor DefaultSolver #297

merged 9 commits into from
Oct 5, 2021

Commits on Sep 24, 2021

  1. Refactor core solver loop. 

    - DefaultSolver#tryAdvance broken into smaller methods, added SearchState member.
- Small polishing in PerformanceLog.
    @AntoniusW
    AntoniusW committed Sep 24, 2021
    Configuration menu
    Copy the full SHA
    14af86d View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2021

  1. Refactor Assignment and WritableAssignment. 

    - Move writing methods to WritableAssignment.
    @AntoniusW
    AntoniusW committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    e84f7f8 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2021

  1. Move information whether solver state changed into WritableAssignment. 

    - WritableAssignment and TrailAssignment realize didChange() method.
- DefaultSolver uses WritableAssignment#didChange, plus minor polishing.
    @AntoniusW
    AntoniusW committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    c111f0c View commit details
    Browse the repository at this point in the history

  2. Small polishing in DefaultSolver.

    @AntoniusW
    AntoniusW committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    f6b1b75 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2021

  1. Update src/main/java/at/ac/tuwien/kr/alpha/solver/DefaultSolver.java 

    Co-authored-by: Lorenz Leutgeb <lorenz@leutgeb.xyz>
    @AntoniusW @lorenzleutgeb
    AntoniusW and lorenzleutgeb authored Sep 30, 2021
    Configuration menu
    Copy the full SHA
    b96a684 View commit details
    Browse the repository at this point in the history

  2. Refactor DefaultSolver a bit more, fix trace/logging issues.

    @AntoniusW
    AntoniusW committed Sep 30, 2021
    Configuration menu
    Copy the full SHA
    7a85481 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2021

  1. Refactoring Choice and backtracking. 

    - Choice provides getInverted now, renamed some variables.
- ChoiceManager refactored, provides only one backtrack method now, not two semi-duplicates.
- Backtracking code in DefaultSolver streamlined.
    @AntoniusW
    AntoniusW committed Oct 1, 2021
    Configuration menu
    Copy the full SHA
    d9dd86c View commit details
    Browse the repository at this point in the history

  2. Remove dead code from DefaultSolver.

    @AntoniusW
    AntoniusW committed Oct 1, 2021
    Configuration menu
    Copy the full SHA
    72aeef5 View commit details
    Browse the repository at this point in the history

  3. Remove unused variables from TrailAssignment.

    @AntoniusW
    AntoniusW committed Oct 1, 2021
    Configuration menu
    Copy the full SHA
    79f720f View commit details
    Browse the repository at this point in the history