add docs

JuliaReach · Jul 9, 2018 · 82b08a8 · 82b08a8
1 parent ca775d8
commit 82b08a8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/src/lib/representations.md b/docs/src/lib/representations.md
@@ -98,6 +98,7 @@ dim(::HalfSpace{Float64})
 σ(::AbstractVector{Float64}, ::HalfSpace{Float64})
 an_element(::HalfSpace{Float64})
 ∈(::AbstractVector{Float64}, ::HalfSpace{Float64})
+halfspace_left(::AbstractVector, ::AbstractVector)
 ```
 
 ## Hyperplane