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

Method getSparseARow

src/engine/Tableau.cpp:1629–1632  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1627}
1628
1629const SparseUnsortedList *Tableau::getSparseARow( unsigned row ) const
1630{
1631 return _sparseRowsOfA[row];
1632}
1633
1634void Tableau::getSparseARow( unsigned row, SparseUnsortedList *result ) const
1635{

Callers 1

tightenOnSingleConstraintRowMethod · 0.45

Calls 1

storeIntoOtherMethod · 0.45

Tested by

no test coverage detected