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

Method dump

src/basis_factorization/PermutationMatrix.cpp:126–140  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

124}
125
126void PermutationMatrix::dump() const
127{
128 for ( unsigned i = 0; i < _m; ++i )
129 {
130 for ( unsigned j = 0; j < _m; ++j )
131 {
132 if ( _rowOrdering[i] == j )
133 printf( "1 " );
134 else
135 printf( "0 " );
136 }
137 printf( "\n" );
138 }
139 printf( "\n" );
140}
141
142bool PermutationMatrix::isIdentity() const
143{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected