JuliaReach/LazySets.jl

Template polyhedron (TPolyhedron)

schillic opened this issue · 0 comments

Add a set type TPolyhedron with implicit matrix, e.g., represented by

abstract type AbstractDirections{N,VN} end