Returns number of cases not yet marked as infeasible. */

* Return the current size of (i.e. valid number of objects in) the * list. */

Function to find variables corresponding to operation Args: x: (tf.op) the operation to find variables for Returns:

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

Print error message and exit

Function to add a new Disjunction constraint Args: disjuncts (list of list of Equations): Each inner list represents a disjunct

Clear tightened flags; */

* Return true iff there are no valid objects in the list. */

* Returns an iterator pointing one past the last item in the list. */

Constructs the `InputQuery` object from the current set of constraints. Returns: :class:`~maraboupy.MarabouCore.InputQuery`

Function to add equality constraint to network .. math:: \sum_i vars_i * coeffs_i = scalar Args: vars (list

Function to add a new Max constraint Args: elements (set of int): Variable representing input to max constraint v (in

Reset values to represent empty network

Function evaluating a specific input is a local robustness within the scope of epslion Args: input (numpy.ndarray): Target input