add docs for Line

JuliaReach · Jul 29, 2018 · 6fafb1d · 6fafb1d
1 parent 84bd1af
commit 6fafb1d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/src/lib/representations.md b/docs/src/lib/representations.md
@@ -156,6 +156,8 @@ vertices_list(::Interval)
 Line
 dim(::Line{Float64})
 σ(::AbstractVector{Float64}, ::Line{Float64})
+∈(::AbstractVector, ::Line)
+an_element(::Line)
 ```
 
 ## Line segment