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

Method computeReducedCost

src/engine/CostFunctionManager.cpp:310–317  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

308}
309
310void CostFunctionManager::computeReducedCost( unsigned nonBasic )
311{
312 unsigned nonBasicIndex = _tableau->nonBasicIndexToVariable( nonBasic );
313 _ANColumn = _tableau->getSparseAColumn( nonBasicIndex );
314
315 for ( const auto &entry : *_ANColumn )
316 _costFunction[nonBasic] -= ( _multipliers[entry._index] * entry._value );
317}
318
319void CostFunctionManager::dumpCostFunction() const
320{

Callers

nothing calls this directly

Calls 2

getSparseAColumnMethod · 0.45

Tested by

no test coverage detected