need negative orthant to avoid edge case (all negative set)

sisl · Jul 29, 2020 · f4c7476 · f4c7476
1 parent 7648cd5
commit f4c7476
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/reachability/utils/reachability.jl b/src/reachability/utils/reachability.jl
@@ -34,7 +34,7 @@ function forward_partition(act::ReLU, input)
 
     output = HPolytope{Float64}[]
 
-    for h in 1:(big"2"^N)-1
+    for h in 0:(big"2"^N)-1
         P = Diagonal(1.0.*digits(h, base = 2, pad = N))
         orthant = HPolytope(Matrix(I - 2.0P), zeros(N))
         S = intersection(input, orthant)