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

Method toMatrix

src/basis_factorization/EtaMatrix.cpp:106–114  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

104}
105
106void EtaMatrix::toMatrix( double *A ) const
107{
108 std::fill_n( A, _m * _m, 0.0 );
109 for ( unsigned i = 0; i < _m; ++i )
110 {
111 A[i * _m + i] = 1.;
112 A[_columnIndex + i * _m] = _column[i];
113 }
114}
115
116bool EtaMatrix::operator==( const EtaMatrix &other ) const
117{

Callers 2

dumpExplicitBasisMethod · 0.45
dumpExplicitBasisMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected