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

Method dumpCostFunction

src/engine/CostFunctionManager.cpp:319–335  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

317}
318
319void CostFunctionManager::dumpCostFunction() const
320{
321 printf( "Cost function:\n\t" );
322
323 for ( unsigned i = 0; i < _n - _m; ++i )
324 {
325 double coefficient = _costFunction[i];
326 if ( FloatUtils::isZero( coefficient ) )
327 continue;
328
329 if ( FloatUtils::isPositive( coefficient ) )
330 printf( "+" );
331 printf( "%lfx%u ", coefficient, _tableau->nonBasicIndexToVariable( i ) );
332 }
333
334 printf( "\n" );
335}
336
337ICostFunctionManager::CostFunctionStatus CostFunctionManager::getCostFunctionStatus() const
338{

Callers 1

performSimplexStepMethod · 0.45

Calls 1

Tested by

no test coverage detected