Util
This section of the manual describes the module for utilities.
NeuralNetworkReachability.Util.ConvSet — TypeConvSet{T<:LazySet{N}}Wrapper of a set to represent a three-dimensional structure.
Fields
set– set of dimensiondims[1] * dims[2] * dims[3]dims– 3-tuple with the dimensions