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

Method pickLeavingVariable

src/engine/Tableau.cpp:951–954  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

949}
950
951void Tableau::pickLeavingVariable()
952{
953 pickLeavingVariable( _changeColumn );
954}
955
956void Tableau::pickLeavingVariable( double *changeColumn )
957{

Callers 1

performSimplexStepMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected