Returns true if the bounds of all variables are consistent. Used to detect a conflict state. */

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

Returns true if k is a mapped key in the context. */

This cannot be const as garbage collection is done lazily. */

* @brief Function to generate equations corresponding to * a convolution operation. * Implements https://github.com/onnx/onnx/blob/main/docs/Operato