Checks whether a suite is dynamic

Function returning whether operation represents variable or constant Args: op: (tf.op) representing operation in network

The test network fc1.onnx is used, which has two input variables and two output variables. The network was trained such that the first output

Get variable number for the backward variable corresponding to layer, node Args: layer (int): Layer number node (int):

Get variable number for the forward variable corresponding to layer, node Args: layer (int): Layer number node (int):

NON-VIRTUAL METHOD for setting and printing the error message

Write the CxxTest header (#includes and #defines)

Function to add a new Abs constraint Args: b (int): Variable representing input of the Abs constraint f (int): Variab

Function to add a new Relu constraint Args: v1 (int): Variable representing input of Relu v2 (int): Variable represen

Function to add a new softmax constraint Args: inputs (set of int): Variable representing input to max constraint out

* @brief Broadcasts the provided indices into those into the current tensor shape * from indices in the desired broadcast shape. */

Function to calculate bounds represented by this network Args: filename (string): Path for redirecting output verbose

Get maximal value for given input variable Args: input_var (int): index of input variable Returns: (float)

Get minimum value for given input variable Args: input_var (int): Index of input variable Returns: (float)