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

Method getEntryCandidates

src/engine/Tableau.cpp:596–605  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

594}
595
596void Tableau::getEntryCandidates( List<unsigned> &candidates ) const
597{
598 candidates.clear();
599 const double *costFunction = _costFunctionManager->getCostFunction();
600 for ( unsigned i = 0; i < _n - _m; ++i )
601 {
602 if ( eligibleForEntry( i, costFunction ) )
603 candidates.append( i );
604 }
605}
606
607void Tableau::setEnteringVariableIndex( unsigned nonBasic )
608{

Callers 1

performSimplexStepMethod · 0.45

Calls 3

clearMethod · 0.45
getCostFunctionMethod · 0.45
appendMethod · 0.45

Tested by

no test coverage detected