We reuse de Bruijn levels to represent variables in compilation to Marabou. This should allow us to reuse the linear expressions in the loss function backend when doing domain analysis.
As a knock-on effect, I've tidied up the pretty printing code and had to restore the constant type parameter to the linear expression class.
We reuse de Bruijn levels to represent variables in compilation to Marabou. This should allow us to reuse the linear expressions in the loss function backend when doing domain analysis.
As a knock-on effect, I've tidied up the pretty printing code and had to restore the
constanttype parameter to the linear expression class.