Given a set of constraints and a solution, both stored in the given InputQuery, check if the current solution violates the current constraint.

* @brief Function to generate equations for a BatchNormalization * Implements https://github.com/onnx/onnx/blob/master/docs/Operators.md#batchnormali

Reference implementation for batch normalisation

* Returns an iterator to the begining of the map. * Acts like a hash_map::const_iterator. */

* Returns an iterator pointing to the first item in the list. */

* @brief Processes a cast node in the network. * Implements https://github.com/onnx/onnx/blob/main/docs/Operators.md#Cast * * @param node The ONNX

Return true if stack is currently compliant, false otherwise If there is no stored solution, return false --- incompliant.

Clear the lower bounds and upper bounds map, and the self.additionEquList

Clear workload and return the number of removed subQueries