change name

OptimalBranching · Jan 18, 2025 · 95a9f56 · 95a9f56
1 parent 5109464
commit 95a9f56
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/lib/OptimalBranchingCore/src/branch.jl b/lib/OptimalBranchingCore/src/branch.jl
@@ -69,7 +69,7 @@ The resulting value, which may have different type depending on the `result_type
 """
 function branch_and_reduce(problem::AbstractProblem, config::BranchingStrategy, reducer::AbstractReducer, result_type; show_progress=false, tag=Tuple{Int,Int}[])
     @debug "Branching and reducing problem" problem
-    is_solved(problem) && return zero(result_type)
+    has_zero_size(problem) && return zero(result_type)
     # reduce the problem
     rp, reducedvalue = reduce_problem(result_type, problem, reducer)
     rp !== problem && return branch_and_reduce(rp, config, reducer, result_type; tag) * reducedvalue

diff --git a/lib/OptimalBranchingCore/src/mockproblem.jl b/lib/OptimalBranchingCore/src/mockproblem.jl
@@ -73,4 +73,4 @@ function apply_branch(p::MockProblem, clause::Clause{INT}, variables::Vector{T})
     end
     return MockProblem(p.optimal[remain_mask]), count(i -> isone(readbit(clause.mask, i)) && (readbit(clause.val, i) == p.optimal[variables[i]]), 1:length(variables))
 end
-is_solved(p::MockProblem) = measure(p, NumOfVariables()) == 0
+has_zero_size(p::MockProblem) = measure(p, NumOfVariables()) == 0
diff --git a/lib/OptimalBranchingMIS/src/types.jl b/lib/OptimalBranchingMIS/src/types.jl
@@ -16,7 +16,7 @@ mutable struct MISProblem <: AbstractProblem
 end
 Base.copy(p::MISProblem) = MISProblem(copy(p.g))
 Base.show(io::IO, p::MISProblem) = print(io, "MISProblem($(nv(p.g)))")
-OptimalBranchingCore.is_solved(p::MISProblem) = nv(p.g) == 0
+OptimalBranchingCore.has_zero_size(p::MISProblem) = nv(p.g) == 0
 
 """
     TensorNetworkSolver