search

JuliaReach / LazySets.jl

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

Constructor for rational interval is broken #314

Closed mforets closed 6 years ago

mforets commented 6 years ago

See the full trace below:

$ julia --color=yes docs/make.jl
Documenter: setting up build directory.
Documenter: expanding markdown templates.
Documenter: building cross-references.
Documenter: running document checks.
 > checking for missing docstrings.
 !! 237 docstrings potentially missing:

    IntervalArithmetic.diam :: Union{Tuple{IntervalArithmetic.Interval{T}}, Tuple{T}} where T<:Real
    LazySets.high :: Union{Tuple{LazySets.Hyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.vertices_list :: Union{Tuple{LazySets.Ball1{N}}, Tuple{N}} where N<:Real
    LazySets.vertices_list :: Union{Tuple{LazySets.AbstractHyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.vertices_list :: Union{Tuple{LazySets.VPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.vertices_list :: Union{Tuple{LazySets.AbstractSingleton{N}}, Tuple{N}} where N<:Real
    LazySets.vertices_list :: Union{Tuple{LazySets.VPolytope{N}}, Tuple{N}} where N<:Real
    LazySets.vertices_list :: Union{Tuple{LazySets.Zonotope{N}}, Tuple{N}} where N<:Real
    LazySets.vertices_list :: Union{Tuple{LazySets.AbstractHPolygon{N},Bool}, Tuple{LazySets.AbstractHPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.vertices_list :: Union{Tuple{LazySets.HPolytope{N}}, Tuple{N}} where N<:Real
    Base.issubset :: Union{Tuple{LazySets.LazySet{N},LazySets.LazySet{N},Bool}, Tuple{LazySets.LazySet{N},LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    LazySets.tovrep :: Union{Tuple{LazySets.AbstractHPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.tovrep :: Union{Tuple{LazySets.VPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.is_subset :: Union{Tuple{LazySets.AbstractPolytope{N},LazySets.LazySet{N},Bool}, Tuple{LazySets.AbstractPolytope{N},LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    LazySets.is_subset :: Union{Tuple{LazySets.LazySet{N},LazySets.AbstractHyperrectangle{N},Bool}, Tuple{LazySets.LazySet{N},LazySets.AbstractHyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.is_subset :: Union{Tuple{LazySets.AbstractSingleton{N},LazySets.AbstractSingleton{N},Bool}, Tuple{LazySets.AbstractSingleton{N},LazySets.AbstractSingleton{N}}, Tuple{N}} where N<:Real
    LazySets.is_subset :: Union{Tuple{LazySets.AbstractSingleton{N},LazySets.AbstractHyperrectangle{N},Bool}, Tuple{LazySets.AbstractSingleton{N},LazySets.AbstractHyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.is_subset :: Union{Tuple{LazySets.AbstractHyperrectangle{N},LazySets.AbstractHyperrectangle{N},Bool}, Tuple{LazySets.AbstractHyperrectangle{N},LazySets.AbstractHyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.is_subset :: Union{Tuple{LazySets.Ball2{N},LazySets.Ball2{N},Bool}, Tuple{LazySets.Ball2{N},LazySets.Ball2{N}}, Tuple{N}} where N<:Real
    LazySets.is_subset :: Union{Tuple{LazySets.LineSegment{N},LazySets.LazySet{N},Bool}, Tuple{LazySets.LineSegment{N},LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    LazySets.is_subset :: Union{Tuple{LazySets.LineSegment{N},LazySets.Hyperrectangle{N},Bool}, Tuple{LazySets.LineSegment{N},LazySets.Hyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.is_subset :: Union{Tuple{N}, Tuple{Union{LazySets.Ball2{N}, LazySets.Ballp{N}},LazySets.AbstractSingleton{N},Bool}, Tuple{Union{LazySets.Ball2{N}, LazySets.Ballp{N}},LazySets.AbstractSingleton{N}}} where N<:Real
    LazySets.is_subset :: Union{Tuple{LazySets.AbstractSingleton{N},LazySets.LazySet{N},Bool}, Tuple{LazySets.AbstractSingleton{N},LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    LazySets.is_subset :: Union{Tuple{LazySets.AbstractPolytope{N},LazySets.AbstractHyperrectangle,Bool}, Tuple{LazySets.AbstractPolytope{N},LazySets.AbstractHyperrectangle}, Tuple{N}} where N<:Real
    LazySets.center :: Union{Tuple{LazySets.BallInf{N}}, Tuple{N}} where N<:Real
    LazySets.center :: Union{Tuple{LazySets.AbstractSingleton{N}}, Tuple{N}} where N<:Real
    LazySets.center :: Union{Tuple{LazySets.Ball2{N}}, Tuple{N}} where N<:AbstractFloat
    LazySets.center :: Union{Tuple{LazySets.Ballp{N}}, Tuple{N}} where N<:AbstractFloat
    LazySets.center :: Union{Tuple{LazySets.Zonotope{N}}, Tuple{N}} where N<:Real
    LazySets.center :: Union{Tuple{LazySets.SymmetricIntervalHull{N,S} where S<:LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    LazySets.center :: Union{Tuple{LazySets.Ball1{N}}, Tuple{N}} where N<:Real
    LazySets.center :: Union{Tuple{LazySets.Hyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.center :: Union{Tuple{LazySets.Ellipsoid{N}}, Tuple{N}} where N<:AbstractFloat
    IntervalArithmetic.hull :: Tuple{IntervalArithmetic.Interval,IntervalArithmetic.Interval}
    IntervalArithmetic.hull
    LazySets.compute_radius :: Union{Tuple{LazySets.SymmetricIntervalHull{N,#s10} where #s10<:LazySets.LazySet{N},Int64,Int64}, Tuple{LazySets.SymmetricIntervalHull{N,#s11} where #s11<:LazySets.LazySet{N},Int64}, Tuple{LazySets.SymmetricIntervalHull{N,#s9} where #s9<:LazySets.LazySet{N},Int64,Int64,N}, Tuple{N}} where N<:Real
    IntervalArithmetic.DECORATION
    IntervalArithmetic.IntervalBox
    LazySets.addconstraint! :: Union{Tuple{LazySets.AbstractHPolygon{N},LazySets.HalfSpace{N}}, Tuple{N}} where N<:Real
    LazySets.addconstraint! :: Union{Tuple{LazySets.HPolytope{N},LazySets.HalfSpace{N}}, Tuple{N}} where N<:Real
    Polyhedra.polyhedron :: Union{Tuple{LazySets.HPolytope{N},Any}, Tuple{LazySets.HPolytope{N}}, Tuple{N}} where N
    Polyhedra.polyhedron :: Union{Tuple{LazySets.VPolytope{N},Any}, Tuple{LazySets.VPolytope{N}}, Tuple{N}} where N
    IntervalArithmetic.big53 :: Tuple{IntervalArithmetic.Interval{Float64}}
    IntervalArithmetic.setformat :: Union{Tuple{Any}, Tuple{}}
    Base.in :: Union{Tuple{T,IntervalArithmetic.Interval}, Tuple{T}} where T<:Real
    LazySets.element :: Union{Tuple{LazySets.ZeroSet{N}}, Tuple{N}} where N<:Real
    LazySets.element :: Union{Tuple{LazySets.Singleton{N},Int64}, Tuple{N}} where N<:Real
    LazySets.element :: Union{Tuple{LazySets.Singleton{N}}, Tuple{N}} where N<:Real
    LazySets.element :: Union{Tuple{LazySets.ZeroSet{N},Int64}, Tuple{N}} where N<:Real
    IntervalArithmetic.emptyinterval :: Union{Tuple{T}, Tuple{Type{T}}} where T<:Real
    LazySets.radius :: Union{Tuple{LazySets.LazySet,Real}, Tuple{LazySets.LazySet}}
    LazySets.radius :: Union{Tuple{LazySets.BallInf,Real}, Tuple{LazySets.BallInf}}
    LazySets.radius :: Union{Tuple{LazySets.AbstractHyperrectangle,Real}, Tuple{LazySets.AbstractHyperrectangle}}
    IntervalArithmetic.find_quadrants :: Tuple{AbstractFloat}
    LazySets.σ :: Union{Tuple{AbstractArray{N,1},LazySets.ZeroSet}, Tuple{N}} where N<:Real
    LazySets.σ :: Union{Tuple{IN}, Tuple{N}, Tuple{V,LazySets.Interval{N,IN}}, Tuple{V}} where V<:AbstractArray{N,1} where IN<:IntervalArithmetic.AbstractInterval{N} where N
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.ConvexHull}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.ExponentialMap}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Tuple{AbstractArray{T,1} where T,LazySets.EmptySet}
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.Zonotope}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.Ball1{N}}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.Ellipsoid{N}}, Tuple{V}} where V<:AbstractArray{N,1} where N<:AbstractFloat
    LazySets.σ :: Union{Tuple{AbstractArray{#s12,1} where #s12<:Real,LazySets.HPolygonOpt{N}}, Tuple{N}} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.SymmetricIntervalHull}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.MinkowskiSum}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{AbstractArray{#s12,1} where #s12<:Real,LazySets.HPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.Ball2{N}}, Tuple{V}} where V<:AbstractArray{N,1} where N<:AbstractFloat
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.CartesianProductArray{N,#s12} where #s12<:LazySets.LazySet{N}}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.LineSegment}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.LinearMap}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Tuple{AbstractArray{#s4,1} where #s4<:Real,LazySets.VPolytope}
    LazySets.σ :: Tuple{AbstractArray{#s11,1} where #s11<:Real,LazySets.MinkowskiSumArray}
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.HalfSpace}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.CartesianProduct}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Tuple{AbstractArray{#s9,1} where #s9<:Real,LazySets.HPolytope}
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.Intersection}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{AbstractArray{N,1},LazySets.AbstractSingleton{N}}, Tuple{N}} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.ExponentialProjectionMap}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{AbstractArray{#s12,1} where #s12<:Real,LazySets.VPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.ConvexHullArray}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.Ballp}, Tuple{V}} where V<:AbstractArray{N,1} where N<:AbstractFloat
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.Hyperplane}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.AbstractHyperrectangle{N}}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.σ :: Union{Tuple{N}, Tuple{V,LazySets.Line}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    LazySets.VPolytope
    IntervalArithmetic.nai :: Union{Tuple{T}, Tuple{Type{T}}} where T<:Real
    IntervalArithmetic.radius :: Tuple{IntervalArithmetic.Interval}
    Base.:== :: Tuple{IntervalArithmetic.Interval,IntervalArithmetic.Interval}
    IntervalArithmetic.cancelminus :: Union{Tuple{IntervalArithmetic.Interval{T},IntervalArithmetic.Interval{T}}, Tuple{T}} where T<:Real
    IntervalArithmetic.cancelminus
    IntervalArithmetic.is_valid_interval :: Tuple{Real,Real}
    LazySets.low :: Union{Tuple{LazySets.Hyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.an_element :: Union{Tuple{LazySets.AbstractSingleton{N}}, Tuple{N}} where N<:Real
    LazySets.an_element :: Union{Tuple{LazySets.VPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.an_element :: Union{Tuple{LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    LazySets.an_element :: Union{Tuple{LazySets.AbstractPointSymmetric{N}}, Tuple{N}} where N<:Real
    LazySets.an_element :: Union{Tuple{LazySets.AbstractHPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.an_element :: Union{Tuple{LazySets.AbstractPointSymmetricPolytope{N}}, Tuple{N}} where N<:Real
    LazySets.an_element :: Tuple{LazySets.EmptySet}
    LazySets.an_element :: Union{Tuple{LazySets.Hyperplane{N}}, Tuple{N}} where N<:Real
    LazySets.an_element :: Union{Tuple{LazySets.HalfSpace{N}}, Tuple{N}} where N<:Real
    Base.Rounding.setrounding :: Tuple{Type{IntervalArithmetic.Interval},Symbol}
    IntervalArithmetic.isthin :: Tuple{IntervalArithmetic.Interval}
    LazySets.an_element_helper :: Union{Tuple{LazySets.Hyperplane{N},Int64}, Tuple{LazySets.Hyperplane{N}}, Tuple{N}} where N<:Real
    IntervalArithmetic.@biginterval :: Tuple{Any,Vararg{Any,N} where N}
    IntervalArithmetic.cancelplus :: Tuple{IntervalArithmetic.Interval,IntervalArithmetic.Interval}
    IntervalArithmetic.cancelplus
    IntervalArithmetic.IntervalRounding
    LazySets.constraints_list :: Union{Tuple{LazySets.AbstractHPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.constraints_list :: Union{Tuple{LazySets.HPolytope{N}}, Tuple{N}} where N<:Real
    LazySets.array :: Union{Tuple{LazySets.MinkowskiSumArray{N,S}}, Tuple{N}, Tuple{S}} where S<:LazySets.LazySet{N} where N<:Real
    LazySets.array :: Union{Tuple{LazySets.CartesianProductArray{N,S}}, Tuple{N}, Tuple{S}} where S<:LazySets.LazySet{N} where N<:Real
    LazySets.array :: Union{Tuple{LazySets.ConvexHullArray{N,S}}, Tuple{N}, Tuple{S}} where S<:LazySets.LazySet{N} where N<:Real
    Base.intersect :: Union{Tuple{LazySets.HPolytope{N},LazySets.HPolytope{N}}, Tuple{N}} where N<:Real
    Base.intersect :: Union{Tuple{LazySets.VPolytope{N},LazySets.VPolytope{N}}, Tuple{N}} where N<:Real
    LazySets.radius_hyperrectangle :: Union{Tuple{LazySets.AbstractSingleton{N}}, Tuple{N}} where N<:Real
    LazySets.radius_hyperrectangle :: Union{Tuple{LazySets.Hyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.radius_hyperrectangle :: Union{Tuple{LazySets.SymmetricIntervalHull{N,S} where S<:LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    LazySets.radius_hyperrectangle :: Union{Tuple{LazySets.AbstractSingleton{N},Int64}, Tuple{N}} where N<:Real
    LazySets.radius_hyperrectangle :: Union{Tuple{LazySets.Hyperrectangle{N},Int64}, Tuple{N}} where N<:Real
    LazySets.radius_hyperrectangle :: Union{Tuple{LazySets.SymmetricIntervalHull{N,S} where S<:LazySets.LazySet{N},Int64}, Tuple{N}} where N<:Real
    LazySets.radius_hyperrectangle :: Union{Tuple{LazySets.BallInf{N}}, Tuple{N}} where N<:Real
    LazySets.radius_hyperrectangle :: Union{Tuple{LazySets.BallInf{N},Int64}, Tuple{N}} where N<:Real
    Base.widen :: Union{Tuple{IntervalArithmetic.Interval{T}}, Tuple{T}} where T<:AbstractFloat
    Base.:× :: Tuple{LazySets.LazySet,LazySets.LazySet}
    Base.:∈ :: Union{Tuple{N,LazySets.Interval}, Tuple{N}} where N
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.ExponentialMap{N,#s12} where #s12<:LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.CartesianProductArray{N,#s12} where #s12<:LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.AbstractSingleton{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.Ball2{N}}, Tuple{N}} where N<:AbstractFloat
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.HPolytope{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Tuple{AbstractArray{#s13,1} where #s13<:Real,LazySets.CartesianProduct}
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.Ellipsoid{N}}, Tuple{N}} where N<:AbstractFloat
    Base.:∈ :: Tuple{AbstractArray{#s12,1} where #s12<:Real,LazySets.EmptySet}
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.LineSegment{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.HalfSpace{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.Ball1{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.VPolygon{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.Hyperplane{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.Intersection{N,S1,S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.ZeroSet{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.AbstractHyperrectangle{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.Ballp{N}}, Tuple{N}} where N<:AbstractFloat
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.Zonotope{N}}, Tuple{N}} where N<:Real
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.LinearMap{NM,N}}, Tuple{N}, Tuple{NM}} where N<:Real where NM
    Base.:∈ :: Tuple{AbstractArray{T,1} where T,LazySets.Interval}
    Base.:∈ :: Union{Tuple{AbstractArray{N,1},LazySets.AbstractHPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},Array{#s80,1} where #s80<:LazySets.Zonotope}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},Array{#s80,1} where #s80<:LazySets.LazySet,Float64}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},LazySets.LazySet,Float64}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},LazySets.Zonotope}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},Union{LazySets.HPolygon, LazySets.HPolygonOpt}}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},Array{#s82,1} where #s82<:LazySets.AbstractSingleton}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},LazySets.LazySet}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},LazySets.LineSegment}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},LazySets.VPolygon}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},Array{#s80,1} where #s80<:LazySets.VPolygon}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},Array{#s80,1} where #s80<:LazySets.AbstractHPolygon}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},Array{#s81,1} where #s81<:LazySets.Interval}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},LazySets.Interval}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},LazySets.AbstractSingleton}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},Array{#s80,1} where #s80<:LazySets.LazySet}
    LazySets.apply_recipe :: Tuple{Dict{Symbol,Any},Array{#s81,1} where #s81<:LazySets.LineSegment}
    LazySets
    LazySets.tohrep :: Union{Tuple{LazySets.VPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.tohrep :: Union{Tuple{LazySets.AbstractHPolygon{N}}, Tuple{N}} where N<:Real
    LazySets.σ_helper :: Union{Tuple{N}, Tuple{V,LazySets.Hyperplane,String}, Tuple{V,LazySets.Hyperplane}, Tuple{V}} where V<:AbstractArray{N,1} where N<:Real
    Base.:<= :: Union{Tuple{AbstractArray{N,1},AbstractArray{N,1}}, Tuple{N}} where N<:Real
    Base.:<= :: Union{Tuple{AbstractArray{N,1},AbstractArray{N,1}}, Tuple{N}} where N<:AbstractFloat
    IntervalArithmetic.transform :: Tuple{Symbol,Any,Any}
    IntervalArithmetic.interval :: Tuple{Real,Real}
    Base.setdiff :: Tuple{IntervalArithmetic.Interval,IntervalArithmetic.Interval}
    Base.setdiff :: Union{Tuple{IntervalArithmetic.IntervalBox{N,T},IntervalArithmetic.IntervalBox{N,T}}, Tuple{N}, Tuple{T}} where T where N
    IntervalArithmetic.@interval :: Tuple{Any,Vararg{Any,N} where N}
    LazySets.diameter :: Union{Tuple{LazySets.LazySet,Real}, Tuple{LazySets.LazySet}}
    LazySets.diameter :: Union{Tuple{LazySets.AbstractHyperrectangle,Real}, Tuple{LazySets.AbstractHyperrectangle}}
    IntervalArithmetic.entireinterval :: Union{Tuple{T}, Tuple{Type{T}}} where T<:Real
    Base.:* :: Tuple{LazySets.SparseMatrixExp,LazySets.LazySet}
    Base.:* :: Tuple{LazySets.ProjectionSparseMatrixExp,LazySets.LazySet}
    Base.:* :: Union{Tuple{N,LazySets.LazySet}, Tuple{N}} where N
    Base.:* :: Tuple{AbstractArray{T,2} where T,LazySets.ZeroSet}
    Base.:* :: Tuple{LazySets.LazySet,LazySets.LazySet}
    Base.:* :: Union{Tuple{N,S}, Tuple{NM}, Tuple{N}, Tuple{S}} where S<:LazySets.LinearMap{NM,N} where N where NM
    LazySets.tosimplehrep :: Union{Tuple{LazySets.HPolytope{N}}, Tuple{N}} where N
    Base.round :: Tuple{IntervalArithmetic.Interval}
    Base.:∩ :: Tuple{Any,Any}
    IntervalArithmetic.pow :: Tuple{IntervalArithmetic.Interval,Integer}
    IntervalArithmetic.DecoratedInterval
    IntervalArithmetic.round_expr :: Tuple{Expr,RoundingMode}
    IntervalArithmetic.@format :: Tuple
    Base.parse :: Union{Tuple{Type{IntervalArithmetic.Interval{T}},AbstractString}, Tuple{T}} where T
    Base.parse :: Union{Tuple{Type{IntervalArithmetic.DecoratedInterval{T}},AbstractString}, Tuple{T}} where T
    IntervalArithmetic.mid :: Union{Tuple{IntervalArithmetic.Interval{T},Any}, Tuple{T}} where T
    IntervalArithmetic.iscommon :: Tuple{IntervalArithmetic.Interval}
    IntervalArithmetic.labelled_setdiff :: Union{Tuple{IntervalArithmetic.Interval{T},IntervalArithmetic.Interval{T}}, Tuple{T}} where T
    LazySets.dim :: Tuple{LazySets.LineSegment}
    LazySets.dim :: Tuple{LazySets.ZeroSet}
    LazySets.dim :: Tuple{LazySets.CartesianProductArray}
    LazySets.dim :: Tuple{LazySets.VPolytope}
    LazySets.dim :: Tuple{LazySets.MinkowskiSum}
    LazySets.dim :: Tuple{LazySets.LinearMap}
    LazySets.dim :: Tuple{LazySets.HalfSpace}
    LazySets.dim :: Tuple{LazySets.EmptySet}
    LazySets.dim :: Tuple{LazySets.MinkowskiSumArray}
    LazySets.dim :: Tuple{LazySets.CartesianProduct}
    LazySets.dim :: Tuple{LazySets.Hyperplane}
    LazySets.dim :: Tuple{LazySets.Line}
    LazySets.dim :: Tuple{LazySets.SymmetricIntervalHull}
    LazySets.dim :: Tuple{LazySets.ExponentialMap}
    LazySets.dim :: Tuple{LazySets.ConvexHull}
    LazySets.dim :: Tuple{LazySets.AbstractPointSymmetricPolytope}
    LazySets.dim :: Tuple{LazySets.AbstractPointSymmetric}
    LazySets.dim :: Tuple{LazySets.AbstractPolygon}
    LazySets.dim :: Tuple{LazySets.ExponentialProjectionMap}
    LazySets.dim :: Tuple{LazySets.Intersection}
    IntervalArithmetic.wideinterval :: Union{Tuple{T}, Tuple{T}} where T<:AbstractFloat
    Base.union :: Tuple{IntervalArithmetic.Interval,IntervalArithmetic.Interval}
    Base.union
    LazySets.is_intersection_empty :: Union{Tuple{LazySets.Hyperplane{N},LazySets.Zonotope{N},Bool}, Tuple{LazySets.Hyperplane{N},LazySets.Zonotope{N}}, Tuple{N}} where N<:Real
    LazySets.is_intersection_empty :: Union{Tuple{LazySets.Ball2{N},LazySets.Ball2{N},Bool}, Tuple{LazySets.Ball2{N},LazySets.Ball2{N}}, Tuple{N}} where N<:Real
    LazySets.is_intersection_empty :: Union{Tuple{LazySets.AbstractHyperrectangle{N},LazySets.AbstractSingleton{N},Bool}, Tuple{LazySets.AbstractHyperrectangle{N},LazySets.AbstractSingleton{N}}, Tuple{N}} where N<:Real
    LazySets.is_intersection_empty :: Union{Tuple{LazySets.AbstractHyperrectangle{N},LazySets.AbstractHyperrectangle{N},Bool}, Tuple{LazySets.AbstractHyperrectangle{N},LazySets.AbstractHyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.is_intersection_empty :: Union{Tuple{LazySets.AbstractSingleton{N},LazySets.AbstractHyperrectangle{N},Bool}, Tuple{LazySets.AbstractSingleton{N},LazySets.AbstractHyperrectangle{N}}, Tuple{N}} where N<:Real
    LazySets.is_intersection_empty :: Union{Tuple{LazySets.Zonotope{N},LazySets.Hyperplane{N},Bool}, Tuple{LazySets.Zonotope{N},LazySets.Hyperplane{N}}, Tuple{N}} where N<:Real
    LazySets.is_intersection_empty :: Union{Tuple{LazySets.AbstractSingleton{N},LazySets.LazySet{N},Bool}, Tuple{LazySets.AbstractSingleton{N},LazySets.LazySet{N}}, Tuple{N}} where N<:Real
    LazySets.is_intersection_empty :: Union{Tuple{LazySets.AbstractSingleton{N},LazySets.AbstractSingleton{N},Bool}, Tuple{LazySets.AbstractSingleton{N},LazySets.AbstractSingleton{N}}, Tuple{N}} where N<:Real
    LazySets.is_intersection_empty :: Union{Tuple{LazySets.LineSegment{N},LazySets.LineSegment{N},Bool}, Tuple{LazySets.LineSegment{N},LazySets.LineSegment{N}}, Tuple{N}} where N<:Real
    LazySets.is_intersection_empty :: Union{Tuple{LazySets.LazySet{N},LazySets.AbstractSingleton{N},Bool}, Tuple{LazySets.LazySet{N},LazySets.AbstractSingleton{N}}, Tuple{N}} where N<:Real
    IntervalArithmetic.@floatinterval :: Tuple{Any,Vararg{Any,N} where N}
    LazySets.cartesian_product :: Tuple{LazySets.HPolytope,LazySets.HPolytope}
    LazySets.cartesian_product :: Tuple{LazySets.VPolytope,LazySets.VPolytope}
    IntervalArithmetic.@round :: Tuple{Any,Any}
    IntervalArithmetic.isatomic :: Tuple{IntervalArithmetic.Interval}
    Base.LinAlg.norm :: Union{Tuple{LazySets.LazySet,Real}, Tuple{LazySets.LazySet}}
    Base.LinAlg.norm :: Union{Tuple{LazySets.AbstractHyperrectangle,Real}, Tuple{LazySets.AbstractHyperrectangle}}
    IntervalArithmetic.make_interval :: Tuple{Any,Any,Any}

 > running doctests.
ERROR: LoadError: BoundsError: attempt to access (r"[0-9\.]+ seconds \(.*\)"=>"",)
  at index [2]
Stacktrace:
 [1] (::Base.Broadcast.##3#4{Base.#replace,Tuple{Tuple{String,String},Tuple{Pair{Regex,String}}}})(::Int64) at ./broadcast.jl:339
 [2] filter_doctests(::Tuple{String,String}, ::Documenter.Documents.Document, ::Dict{Symbol,Any}) at /Users/forets/.julia/v0.6/Documenter/src/DocChecks.jl:289
 [3] checkresult(::Module, ::Documenter.DocChecks.Result, ::Dict{Symbol,Any}, ::Documenter.Documents.Document) at /Users/forets/.julia/v0.6/Documenter/src/DocChecks.jl:325
 [4] eval_repl(::Base.Markdown.Code, ::Module, ::Dict{Symbol,Any}, ::Documenter.Documents.Document, ::Documenter.Documents.Page) at /Users/forets/.julia/v0.6/Documenter/src/DocChecks.jl:254
 [5] doctest(::Base.Markdown.Code, ::Dict{Symbol,Any}, ::Documenter.Documents.Document, ::Documenter.Documents.Page) at /Users/forets/.julia/v0.6/Documenter/src/DocChecks.jl:186
 [6] walk(::Documenter.DocChecks.##1#2{Documenter.Documents.Document}, ::Dict{Symbol,Any}, ::Base.Markdown.Code) at /Users/forets/.julia/v0.6/Documenter/src/Walkers.jl:23
 [7] doctest(::Documenter.Documents.Document) at /Users/forets/.julia/v0.6/Documenter/src/DocChecks.jl:124
 [8] runner(::Type{Documenter.Builder.CheckDocument}, ::Documenter.Documents.Document) at /Users/forets/.julia/v0.6/Documenter/src/Builder.jl:189
 [9] dispatch(::Type{Documenter.Builder.DocumentPipeline}, ::Documenter.Documents.Document, ::Vararg{Documenter.Documents.Document,N} where N) at /Users/forets/.julia/v0.6/Documenter/src/Selectors.jl:168
 [10] cd(::Documenter.##2#3{Documenter.Documents.Document}, ::String) at ./file.jl:70
 [11] #makedocs#1(::Bool, ::Array{Any,1}, ::Function) at /Users/forets/.julia/v0.6/Documenter/src/Documenter.jl:204
 [12] (::Documenter.#kw##makedocs)(::Array{Any,1}, ::Documenter.#makedocs) at ./<missing>:0
 [13] include_from_node1(::String) at ./loading.jl:576
 [14] include(::String) at ./sysimg.jl:14
 [15] process_options(::Base.JLOptions) at ./client.jl:305
 [16] _start() at ./client.jl:371
while loading /Users/forets/.julia/v0.6/LazySets/docs/make.jl, in expression starting on line 4
schillic commented 6 years ago

In master there are only two errors with @time output (which is expected). The error message ERROR: LoadError: BoundsError: attempt to access (r"[0-9\.]+ seconds \(.*\)"=>"",) sounds like you tried to ignore the time output locally and did a mistake.

mforets commented 6 years ago

looks like a bug to me:

julia> using LazySets

julia> Interval(0.0, 2.0)
LazySets.Interval{Float64,IntervalArithmetic.Interval{Float64}}([0, 2])

julia> Interval(0//1, 2//1)
ERROR: MethodError: no method matching atomic(::Type{IntervalArithmetic.Interval{Rational{Int64}}}, ::IntervalArithmetic.Interval{Rational{Int64}})
Closest candidates are:
  atomic(::Type{IntervalArithmetic.Interval{T<:AbstractFloat}}, ::IntervalArithmetic.Interval) where T<:AbstractFloat at /Users/forets/.julia/v0.6/IntervalArithmetic/src/interva
ls/conversion.jl:102
  atomic(::Type{IntervalArithmetic.Interval{T<:AbstractFloat}}, ::S<:Real) where {T<:AbstractFloat, S<:Real} at /Users/forets/.julia/v0.6/IntervalArithmetic/src/intervals/conver
sion.jl:78
  atomic(::Type{IntervalArithmetic.Interval{Rational{Int64}}}, ::Irrational) at /Users/forets/.julia/v0.6/IntervalArithmetic/src/intervals/conversion.jl:112
  ...
Stacktrace:
 [1] LazySets.Interval(::Rational{Int64}, ::Rational{Int64}) at /Users/forets/.julia/v0.6/LazySets/src/Interval.jl:86

julia> IntervalArithmetic.Interval(0//1, 2//1)
[0//1, 2//1]
schillic commented 6 years ago

looks like a bug to me:

Here is some debugging:

julia> julia> i = IntervalArithmetic.Interval(0//1, 2//1);

julia> typeof(i)
IntervalArithmetic.Interval{Rational{Int64}}

julia> Interval{Rational{Int}, IntervalArithmetic.Interval{Rational{Int}}}(i)
ERROR: MethodError: no method matching atomic(::Type{IntervalArithmetic.Interval{Rational{Int64}}}, ::IntervalArithmetic.Interval{Rational{Int64}})
mforets commented 6 years ago 
julia> N = Rational{Int64}
Rational{Int64}

julia> Interval{N, IntervalArithmetic.AbstractInterval{Rational{Int64}}}(IntervalArithmetic.Interval(0//1, 1//1))
LazySets.Interval{Rational{Int64},IntervalArithmetic.AbstractInterval{Rational{Int64}}}([0//1, 1//1])

julia> Interval{N, IntervalArithmetic.Interval{Rational{Int64}}}(IntervalArithmetic.Interval(0//1, 1//1))
ERROR: MethodError: no method matching atomic(::Type{IntervalArithmetic.Interval{Rational{Int64}}}, ::IntervalArithmetic.Interval{Rational{Int64}})
Closest candidates are:
  atomic(::Type{IntervalArithmetic.Interval{T<:AbstractFloat}}, ::IntervalArithmetic.Interval) where T<:AbstractFloat at /Users/forets/.julia/v0.6/IntervalArithmetic/src/interva
ls/conversion.jl:102
  atomic(::Type{IntervalArithmetic.Interval{T<:AbstractFloat}}, ::S<:Real) where {T<:AbstractFloat, S<:Real} at /Users/forets/.julia/v0.6/IntervalArithmetic/src/intervals/conver
sion.jl:78
  atomic(::Type{IntervalArithmetic.Interval{Rational{Int64}}}, ::Irrational) at /Users/forets/.julia/v0.6/IntervalArithmetic/src/intervals/conversion.jl:112
  ...
Stacktrace:
 [1] LazySets.Interval{Rational{Int64},IntervalArithmetic.Interval{Rational{Int64}}}(::IntervalArithmetic.Interval{Rational{Int64}}) at /Users/forets/.julia/v0.6/LazySets/src/In
terval.jl:78