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

Method getAColumn

src/engine/Tableau.cpp:1614–1617  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1612}
1613
1614const double *Tableau::getAColumn( unsigned variable ) const
1615{
1616 return _denseA + ( variable * _m );
1617}
1618
1619void Tableau::getSparseAColumn( unsigned variable, SparseUnsortedList *result ) const
1620{

Callers 1

Calls

no outgoing calls

Tested by

no test coverage detected