#930 - Define issubset for EmptySet #931
Conversation
schillic
force-pushed
the
schillic/930
branch
from
f960998 to
eba8476
Compare
| end | ||
|
|
||
| # disambiguity | ||
| function ⊆(∅::EmptySet{N}, H::AbstractHyperrectangle{N}, witness::Bool=false |
There was a problem hiding this comment.
sorry, why is that EmptySet is ambiguous with AbstractHyperrectangle?
There was a problem hiding this comment.
The method
⊆(∅::EmptySet{N}, S::LazySet{N})
is ambiguous with
⊆(S::LazySet{N}, H::AbstractHyperrectangle{N}).
There was a problem hiding this comment.
Got it, thanks. I wonder if Julia has some mechanism to ease this workaround, like allowing to invoke a given method. Maybe with invoke.
There was a problem hiding this comment.
I know, but invoke is less efficient, which is why I try to avoid it.
There was a problem hiding this comment.
Less efficient in which sense? The call overhead should be negligible, no?
There was a problem hiding this comment.
Not if you call this function very often. In this case I agree, though.
schillic
force-pushed
the
schillic/930
branch
from
eba8476 to
f7435f7
Compare
schillic
changed the title
Closes #930.
box_approximation(∅)