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

Method dump

src/basis_factorization/LPElement.cpp:52–62  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

50}
51
52void LPElement::dump() const
53{
54 printf( "Dumping LP Element:\n" );
55 if ( _pair )
56 printf( "P element: swap rows %u, %u\n", _pair->first, _pair->second );
57 else
58 {
59 printf( "Eta element\n" );
60 _eta->dump();
61 }
62}
63
64LPElement *LPElement::duplicate() const
65{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected