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

Method refreshBasisFactorization

src/engine/Tableau.cpp:2539–2542  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2537}
2538
2539void Tableau::refreshBasisFactorization()
2540{
2541 _basisFactorization->obtainFreshBasis();
2542}
2543
2544unsigned Tableau::getVariableAfterMerging( unsigned variable ) const
2545{

Callers 1

performSimplexStepMethod · 0.45

Calls 1

obtainFreshBasisMethod · 0.45

Tested by

no test coverage detected