/
Approximations.jl
43 lines (35 loc) · 1 KB
/
Approximations.jl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
__precompile__(true)
"""
Module `Approximations.jl` -- polygonal approximation of convex sets through
support vectors.
"""
module Approximations
using LazySets, Requires
export approximate,
ballinf_approximation,
box_approximation, interval_hull,
decompose,
diameter,
norm,
overapproximate,
radius,
box_approximation_symmetric, symmetric_interval_hull,
BoxDirections,
BoxDiagDirections,
OctDirections,
PolarDirections,
SphericalDirections
include("../compat.jl")
const TOL(N::Type{Float64}) = eps(N)
const TOL(N::Type{Float32}) = eps(N)
const TOL(N::Type{Rational{INNER}}) where {INNER} = zero(N)
const DIR_EAST(N) = [one(N), zero(N)]
const DIR_NORTH(N) = [zero(N), one(N)]
const DIR_WEST(N) = [-one(N), zero(N)]
const DIR_SOUTH(N) = [zero(N), -one(N)]
include("iterative_refinement.jl")
include("box_approximations.jl")
include("template_directions.jl")
include("overapproximate.jl")
include("decompositions.jl")
end # module