Code

#1270 - AbstractZonotope interface#1443

Code

Merged

schillic merged 7 commits intomasterJuliaReach/LazySets.jl:masterfrom schillic/1270JuliaReach/LazySets.jl:schillic/1270Copy head branch name to clipboardJun 18, 2019

+472-39

Commits

Commits on Jun 17, 2019

• add AbstractZonotope interface

  schillic

  committed
  c999ba3

  Copy full SHA for c999ba3

• rename generators(::Zonotope); let Zonotope<:AbstractZonotope

  schillic

  committed
  3fc5785

  Copy full SHA for 3fc5785

• let LineSegment<:AbstractZonotope

  schillic

  committed
  6d430da

  Copy full SHA for 6d430da

Commits on Jun 18, 2019

• let AbstractHyperrectangle<:AbstractZonotope

  schillic

  committed
  9802a21

  Copy full SHA for 9802a21

• implement AbstractZonotope methods for AbstractSingleton

  schillic

  committed
  dd2a616

  Copy full SHA for dd2a616

• add docs for AbstractZonotope

  schillic

  committed
  5cb9a9d

  Copy full SHA for 5cb9a9d

• add unit tests for AbstractZonotope

  schillic

  committed
  cfa2385

  Copy full SHA for cfa2385