diff --git a/src/reformulate.jl b/src/reformulate.jl index b79f5f3..14d7018 100644 --- a/src/reformulate.jl +++ b/src/reformulate.jl @@ -90,7 +90,6 @@ Reformulate a disjunction using the specified `method`. Current reformulation me The `disj` field is the `ConstraintData` object for the disjunction, stored in the `disjunctions` field of the `GDPData` object. """ -# generic fallback (e.g., BigM, Indicator) function reformulate_disjunction(model::JuMP.Model, disj::Disjunction, method::AbstractReformulationMethod) ref_cons = Vector{AbstractConstraint}() #store reformulated constraints for d in disj.indicators diff --git a/test/model.jl b/test/model.jl index 87aa078..0e93d27 100644 --- a/test/model.jl +++ b/test/model.jl @@ -11,8 +11,10 @@ function test_empty_model() @test isempty(DP._logical_constraints(model)) @test isempty(DP._disjunct_constraints(model)) @test isempty(DP._disjunctions(model)) + @test isempty(DP._exactly1_constraints(model)) @test isempty(DP._indicator_to_binary(model)) @test isempty(DP._indicator_to_constraints(model)) + @test isempty(DP._constraint_to_indicator(model)) @test isempty(DP._reformulation_variables(model)) @test isempty(DP._reformulation_constraints(model)) @test isnothing(DP._solution_method(model))