Code

#326 - Template directions#330

Code

Merged

mforets merged 6 commits intomasterJuliaReach/LazySets.jl:masterfrom schillic/326JuliaReach/LazySets.jl:schillic/326Copy head branch name to clipboardMay 16, 2018

+213-1

Commits

Commits on May 16, 2018

• add AbstractDirections type

  schillic

  committed
  cb1bb43

  Copy full SHA for cb1bb43

• add BoxDirections type

  schillic

  committed
  ab65955

  Copy full SHA for ab65955

• add OctDirections type

  schillic

  committed
  b15ebbe

  Copy full SHA for b15ebbe

• add overapproximate function for template directions

  schillic

  committed
  2943141

  Copy full SHA for 2943141

• add unit tests for template directions

  schillic

  committed
  fb7f2a0

  Copy full SHA for fb7f2a0

• fix oct directions in 1D case

  schillic

  committed
  52ff26b

  Copy full SHA for 52ff26b