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

FixedShapedSolver #29

Merged
merged 49 commits into from
Apr 3, 2024
Merged

FixedShapedSolver #29

merged 49 commits into from
Apr 3, 2024

Commits on Feb 9, 2024

  1. Add is_subdomain

    @Whebon
    Whebon committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    a53cc81 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2024

  1. Replace _pattern_match_with_hole, _pattern_match, `_rulenode_matc… 

    …h_with_hole`, and `_rulenode_match` with `pattern_match`
    @Whebon
    Whebon committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    6ee3176 View commit details
    Browse the repository at this point in the history

  2. Add Solver stub

    @Whebon
    Whebon committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    350794e View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2024

  1. Scaffolding of the Solver

    @Whebon
    Whebon committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    e25314a View commit details
    Browse the repository at this point in the history

  2. Add support for bychildtypes

    @Whebon
    Whebon committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    01d3154 View commit details
    Browse the repository at this point in the history

  3. Add DataStructures for the PriorityQueue class

    @Whebon
    Whebon committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    cc600cc View commit details
    Browse the repository at this point in the history

  4. Reorganize code over multiple files

    @Whebon
    Whebon committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    3189b01 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2024

  1. Test basic functionality of the Solver

    @Whebon
    Whebon committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    d6c3f27 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Add VarNode and refactor MatchNode -> RuleNode

    @Whebon
    Whebon committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    fb51e07 View commit details
    Browse the repository at this point in the history

  2. Add fill_hole! for the FixedShapedIterator

    @Whebon
    Whebon committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    ab769c7 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2024

  1. Add path-based tree manipulations and the Forbidden constraint

    @Whebon
    Whebon committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    7036d55 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. add is_feasible and get_node_path

    @Whebon
    Whebon committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    8fbdef7 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Add SolverStatistics to track the number of propagations

    @Whebon
    Whebon committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    a8c932e View commit details
    Browse the repository at this point in the history

  2. Add path based propagation triggers (on_tree_manipulation is a Dict)

    @Whebon
    Whebon committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    6e0af03 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2024

  1. Move max_depth and max_size to the Solver

    @Whebon
    Whebon committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    fe5c18c View commit details
    Browse the repository at this point in the history

  2. Add post method to differentiate between rescheduling and posting new… 

    … constraints
    @Whebon
    Whebon committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    b263f7a View commit details
    Browse the repository at this point in the history

  3. Remove legacy code

    @Whebon
    Whebon committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    70d24de View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2024

  1. Add make_less_than_or_equal! and test cases

    @Whebon
    Whebon committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    d56f674 View commit details
    Browse the repository at this point in the history

  2. Commit to is_feasible checks over try-catch blocks

    @Whebon
    Whebon committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    7ab0ee6 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. Add tests for Forbidden and Ordered GrammarConstraints

    @Whebon
    Whebon committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    6d367e4 View commit details
    Browse the repository at this point in the history

  2. Add new implementation of LocalOrdered

    @Whebon
    Whebon committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    1f278a8 View commit details
    Browse the repository at this point in the history

  3. Add jump starts for the solver, and fix tiebreakers in `make_less_tha… 

    …n_or_equal!`
    @Whebon
    Whebon committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    2239275 View commit details
    Browse the repository at this point in the history

  4. Add tests for Forbidden and Ordered constraints

    @Whebon
    Whebon committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    bb5c0d1 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2024

  1. Add the jump start to Solver constructor

    @Whebon
    Whebon committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    4838177 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Ensure newly added holes are simplified (FSH of domain size 1 should … 

    …be a RuleNode)
    @Whebon
    Whebon committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    8e3120d View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. Add constraintless iteration of fixed shaped trees

    @Whebon
    Whebon committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    d5d49c7 View commit details
    Browse the repository at this point in the history

  2. Add GenericSolver and make the forbidden constraint compatible with… 

    … the `FixedShapedSolver`
    @Whebon
    Whebon committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    dbe3f95 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. Add isfilled for StateFixedShapedHoles

    @Whebon
    Whebon committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    00868b7 View commit details
    Browse the repository at this point in the history

  2. Add constraint deactivation for the fixed shaped solver

    @Whebon
    Whebon committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    39a3f43 View commit details
    Browse the repository at this point in the history

  3. Add the FixedShapedSolver as an inner procedure of the top down ite… 

    …rator
    @Whebon
    Whebon committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    49e5738 View commit details
    Browse the repository at this point in the history

  4. Make tree manipulations able to mark the fixed shaped solver as infea… 

    …sible
    @Whebon
    Whebon committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    45fbb8f View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2024

  1. Remove StateConstraint and replace it with an `isactive::Dict{Const… 

    …raint, StateInt}` datastructure to check for constraint activation
    @Whebon
    Whebon committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    fa99259 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. state_id to current_state_id

    @Whebon
    Whebon committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    4ef2a1a View commit details
    Browse the repository at this point in the history

  2. Move isfilled and get_rule to HerbCore

    @Whebon
    Whebon committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    7aee045 View commit details
    Browse the repository at this point in the history

  3. Replace on_tree_manipulation with activeconstraints

    @Whebon
    Whebon committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    3039740 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Remove propagate_on_tree_manipulation in favor of constraint deacti… 

    …vation. From now on, constraints are repropagated by default. Satisfied constraints are responsible for calling `deactivate`.
    @Whebon
    Whebon committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    bf9985e View commit details
    Browse the repository at this point in the history

  2. Refactor .ind to get_rule

    @Whebon
    Whebon committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    be2f706 View commit details
    Browse the repository at this point in the history

  3. Collapse two cases of StateFixedShapedHole

    @Whebon
    Whebon committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    210b403 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2024

  1. Refactor pattern_match to support DomainRuleNodes

    @Whebon
    Whebon committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    ccbe3c4 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Specify that propagatable constraint must be LocalConstraints

    @Whebon
    Whebon committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    bf648bb View commit details
    Browse the repository at this point in the history

  2. Remove make_state_int

    @Whebon
    Whebon committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    eaa003f View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. Fix a bug related an edge case of the FixedShapedSolver

    @Whebon
    Whebon committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    4316939 View commit details
    Browse the repository at this point in the history

  2. Add the Contains constraint

    @Whebon
    Whebon committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    f1afe38 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. Rename is_feasible and activeconstraints

    @Whebon
    Whebon committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    a936f90 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2024

  1. Add is_domain_increasing to substitute!

    @Whebon
    Whebon committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    5c6e547 View commit details
    Browse the repository at this point in the history

  2. Add documentation

    @Whebon
    Whebon committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    b61fadd View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. Tabs to spaces, Grammar to AbstractGrammar; minor changes to docs and… 

    … readability
    @THinnerichs
    THinnerichs committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    1690499 View commit details
    Browse the repository at this point in the history

  2. Add documentation for propagate! functions

    @Whebon
    Whebon committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    3d026d8 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2024

  1. merge solver into dfs-solver

    @THinnerichs
    THinnerichs committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    3dd9dce View commit details
    Browse the repository at this point in the history