contains_variable_shaped_hole -> contains_nonuniform_hole

Herb-AI · Apr 15, 2024 · fe6ab46 · fe6ab46
1 parent fe4b4f5
commit fe6ab46
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/solver/fixed_shaped_solver/fixed_shaped_solver.jl b/src/solver/fixed_shaped_solver/fixed_shaped_solver.jl
@@ -34,7 +34,7 @@ end
     FixedShapedSolver(grammar::AbstractGrammar, fixed_shaped_tree::AbstractRuleNode)
 """
 function FixedShapedSolver(grammar::AbstractGrammar, fixed_shaped_tree::AbstractRuleNode; with_statistics=false, derivation_heuristic=nothing)
-    @assert !contains_variable_shaped_hole(fixed_shaped_tree) "$(fixed_shaped_tree) contains non-uniform holes"
+    @assert !contains_nonuniform_hole(fixed_shaped_tree) "$(fixed_shaped_tree) contains non-uniform holes"
     sm = StateManager()
     tree = StateHole(sm, fixed_shaped_tree)
     unvisited_branches = Stack{Vector{Branch}}()

diff --git a/test/test_lessthanorequal.jl b/test/test_lessthanorequal.jl
@@ -195,7 +195,7 @@ using HerbCore, HerbGrammar
         new_state!(solver, tree)
 
         @test HerbConstraints.make_less_than_or_equal!(solver, left, right) isa HerbConstraints.LessThanOrEqualSuccess
-        @test contains_variable_shaped_hole(get_tree(solver)) == true
+        @test contains_nonuniform_hole(get_tree(solver)) == true
         @test number_of_holes(get_tree(solver)) == 1
     end
 end