Get scalar values This helper function determines if MatMul of Conv2D equations can be combined with a subsequent addition or

Add a comparison between two Marabou networks and all their attributes. :param network: the other Marabou network to be compared wit

Runs a process with a timeout `timeout` in seconds. `args` are the arguments to execute, `cwd` is the working directory and `s_input` is the i

Set verbosity

Returns the number of elements in the map. */

Whether the constraint can contribute the SoI cost function. */

Function handling transpose operation, performed on variables Args: op: (tf.op) transpose operation :meta private:

Multiplication of a neuron's affine transformation with a constant. e.g., (a * x + b) * b' is supported while (a * x + b) * (a' * x'

Function to add a bilinear constraint to the network Args: v1 (int): Variable representing input1 of Bilinear v2 (int)

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

Function to add a new Sign constraint Args: b (int): Variable representing input of Sign f (int): Variable representi

Add createSuite()/destroySuite() to current suite

This function tests whether two numbers are the same up to an error tolerance

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

Clears the network

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

Close current suite and add it to the list if valid

Computes the derived network attributes (equations, relus, bounds) :meta private:

This function defines a simple input query directly through MarabouCore Arguments: property_bound: (float) value of upper bound for x

* Returns an iterator to the end of the HashMap. * Acts like a hash_map::const_iterator. */