search

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
227 stars 32 forks source link

HalfSpace MT with only 1 variable #2409

Closed mforets closed 3 years ago

mforets commented 3 years ago 
vars = @variables x
HalfSpace(x <= 2.0, vars)

MethodError: no method matching HalfSpace(::Operation, ::Array{Operation,0}; N=Float64)
Closest candidates are:
  HalfSpace(::Operation) at /home/mforets/.julia/dev/LazySets/src/Sets/HalfSpace.jl:634 got unsupported keyword argument "N"
  HalfSpace(::Operation, !Matched::Union{var"#s51", var"#s50"} where var"#s50"<:Array{Operation,1} where var"#s51"<:Operation; N) at /home/mforets/.julia/dev/LazySets/src/Sets/HalfSpace.jl:634
  HalfSpace(::Operation, !Matched::Tuple{Vararg{Union{var"#s32", var"#s31"} where var"#s31"<:Array{Operation,1} where var"#s32"<:Operation,L}}; N) where L at /home/mforets/.julia/dev/LazySets/src/Sets/HalfSpace.jl:650

Stacktrace:
 [1] HalfSpace(::Operation, ::Tuple{Operation}; N::Type{Float64}) at /home/mforets/.julia/dev/LazySets/src/Sets/HalfSpace.jl:652
 [2] HalfSpace(::Operation, ::Tuple{Operation}) at /home/mforets/.julia/dev/LazySets/src/Sets/HalfSpace.jl:651
 [3] top-level scope at In[19]:1
 [4] include_string(::Function, ::Module, ::String, ::String) at ./loading.jl:1091
schillic commented 3 years ago

I think the problem is that this command returns an array of length 0: https://github.com/JuliaReach/LazySets.jl/blob/a95370c442c7fb3b02a2bd6a2e6257e697a0c671/src/Sets/HalfSpace.jl#L651