search

JuliaPolyhedra / Polyhedra.jl

Polyhedral Computation Interface
Other
174 stars 27 forks source link

CDDLibrary not defined error #138

Closed arbenede closed 5 years ago

arbenede commented 5 years ago

I am getting this error under Windows 10 with Julia 1.0.2:

julia> hr = HalfSpace([1, 1], 1) ∩ HalfSpace([1, -1], 0) ∩ HalfSpace([-1, 0], 0) H-representation Polyhedra.Intersection{Int64,Array{Int64,1},Int64}: 3-element iterator of HalfSpace{Int64,Array{Int64,1}}: HalfSpace([1, 1], 1) HalfSpace([1, -1], 0) HalfSpace([-1, 0], 0)

julia> using CDDLib

julia> polyf = polyhedron(hr, CDDLibrary()) ERROR: UndefVarError: CDDLibrary not defined Stacktrace: [1] top-level scope at none:0

oyamad commented 5 years ago

@arbenede I guess you want to do

polyf = polyhedron(hr, CDDLib.Library())

@blegat The documentation should be updated (search results).

arbenede commented 5 years ago

Yes that works. Thank you @oyamad