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

Method setRightHandSide

src/engine/Tableau.cpp:528–537  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

526}
527
528void Tableau::setRightHandSide( const double *b )
529{
530 memcpy( _b, b, sizeof( double ) * _m );
531
532 for ( unsigned i = 0; i < _m; ++i )
533 {
534 if ( !FloatUtils::isZero( _b[i] ) )
535 _rhsIsAllZeros = false;
536 }
537}
538
539void Tableau::setRightHandSide( unsigned index, double value )
540{

Callers 1

initializeTableauMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected