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

Method getInverseBasisMatrix

src/engine/Tableau.cpp:2498–2505  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2496}
2497
2498double *Tableau::getInverseBasisMatrix() const
2499{
2500 ASSERT( basisMatrixAvailable() );
2501
2502 double *result = new double[_m * _m];
2503 _basisFactorization->invertBasis( result );
2504 return result;
2505}
2506
2507Set<unsigned> Tableau::getBasicVariables() const
2508{

Callers 1

Calls 1

invertBasisMethod · 0.45

Tested by

no test coverage detected