diff --git a/src/constraints.jl b/src/constraints.jl index 9f4b9640ca..f288827410 100644 --- a/src/constraints.jl +++ b/src/constraints.jl @@ -3,11 +3,16 @@ """ supports_constraint(model::ModelLike, ::Type{F}, ::Type{S})::Bool where {F<:AbstractFunction,S<:AbstractSet} -Return a `Bool` indicating whether `model` supports `F`-in-`S` constraints, that is, -`copy_to(model, src)` does not return `CopyUnsupportedConstraint` when `src` contains `F`-in-`S` constraints. -If `F`-in-`S` constraints are only not supported in specific circumstances, e.g. `F`-in-`S` constraints cannot be combined with another type of constraint, it should still return `true`. -""" -supports_constraint(model::ModelLike, ::Type{<:AbstractFunction}, ::Type{<:AbstractSet}) = false +Return a `Bool` indicating whether `model` supports `F`-in-`S` constraints, that +is, `copy_to(model, src)` does not throw [`UnsupportedConstraint`](@ref) when +`src` contains `F`-in-`S` constraints. If `F`-in-`S` constraints are only not +supported in specific circumstances, e.g. `F`-in-`S` constraints cannot be +combined with another type of constraint, it should still return `true`. +""" +function supports_constraint(model::ModelLike, F::Type{<:AbstractFunction}, + S::Type{<:AbstractSet}) + return false +end """ struct UnsupportedConstraint{F<:AbstractFunction, S<:AbstractSet} <: UnsupportedError