Try to evaluate the network with the given inputs using ONNX Args: inputValues (list of numpy array): Input values representing i

Evaluate network directly (without Marabou) at a given point Args: inputValues (list of np array): Input to network Ret

/ ASSIGNMENT WRAPPER METHODS */ /

Check if the assignment exists or not.

Checks whether lower bound value exists. If BoundManager is in use, returns true since it initializes bounds for all variables. */

Checks whether lower bound value exists. If BoundManager is in use, returns true since it initializes bounds for all variables. */

Checks whether upper bound value exists. If BoundManager is in use, returns true since it initializes bounds for all variables. */

Checks whether upper bound value exists. If BoundManager is in use, returns true since it initializes bounds for all variables. */