BidirectionalAlgorithms
This section of the manual describes the module for bidirectional algorithms.
NeuralNetworkReachability.BidirectionalAlgorithms.BidirectionalAlgorithm — TypeBidirectionalAlgorithm
Abstract supertype of bidirectional algorithms.
NeuralNetworkReachability.BidirectionalAlgorithms.SimpleBidirectional — TypeSimpleBidirectional{FA<:ForwardAlgorithm, BA<:BackwardAlgorithm} <: BidirectionalAlgorithmSimple bidirectional algorithm parametric in a forward and backward algorithm.
Fields
fwd_algo– forward algorithmbwd_algo– backward algorithm