JuliaReach/LazySets.jl

Behavior of default implementations

schillic opened this issue · 0 comments

There are three ways we define fallback functions without implementation. I think we should use the same way consistently.

  1. Sometimes we just declare a function:

function σ end

  1. Sometimes we throw an error:

function isoperationtype(X::Type{<:ConvexSet})
error("`isoperationtype` is not implemented for type $X")
end

  1. Sometimes we return false as conservative answer (of course this only applies to functions that return true/false):

isconvextype(X::Type{<:LazySet}) = false