Prevent additional instantiations of the class */

disable copy, assignment

Addition of a neuron's affine transformation with a constant or another affine transformation. e.g., a * x + b + b' or a * x + b + a'

The == operator between an affine transformation and a constant or between two affine transformations. e.g., a * x + b == b' or a * x

The >= operator between an affine transformation and a constant or between two affine transformations. e.g., a * x + b >= b' or a * x

Construct empty equation

Constructs a MarabouNetwork object and calls function to initialize

Should not be called directly. Use `ONNXParser.parse` instead. :meta private:

Constructs a MarabouNetwork object and calls function to initialize

The <= operator between an affine transformation and a constant or between two affine transformations. e.g., a * x + b <= b' or a * x

Negation of a neuron's affine transformation. e.g., - (a * x + b) is - a * x - b. Note: negation is implemented via multiplyi

Reverse addition of a neuron's affine transformation with a constant or another affine transformation. e.g., b' + a * x + b or a' * x

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

Reverse subtraction of a neuron's affine transformation with a constant or another affine transformation. e.g., b' - a * x - b or a'

Subtraction of a neuron's affine transformation with a constant or another affine transformation. e.g., a * x + b - b' or a * x + b -

Before solving: get additional auxiliary euqations (typically bound-dependent) that this constraint would like to add to the equation pool.