MCPcopy Create free account
hub / github.com/NeuralNetworkVerification/Marabou / dump

Method dump

src/engine/TableauRow.cpp:38–50  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

36}
37
38void TableauRow::dump() const
39{
40 for ( unsigned i = 0; i < _size; ++i )
41 {
42 if ( FloatUtils::isZero( _row[i]._coefficient ) )
43 continue;
44
45 printf( "%.2lf * x%u, ", _row[i]._coefficient, _row[i]._var );
46 }
47
48 printf( "\n\tscalar = %.2lf\n", _scalar );
49 printf( "\tlhs = x%u\n", _lhs );
50}
51
52//
53// Local Variables:

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected