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

Method dump

src/basis_factorization/SparseFTFactorization.cpp:424–433  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

422}
423
424void SparseFTFactorization::dump() const
425{
426 printf( "*** Dumping FT factorization ***\n\n" );
427
428 printf( "\nDumping FT factors:\n" );
429 _sparseLUFactors.dump();
430 printf( "\n\n" );
431
432 printf( "*** Done dumping FT factorization ***\n\n" );
433}
434
435void SparseFTFactorization::obtainFreshBasis()
436{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected