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

Method resetReferenceSpace

src/engine/ProjectedSteepestEdge.cpp:96–111  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

94}
95
96void ProjectedSteepestEdgeRule::resetReferenceSpace( const ITableau &tableau )
97{
98 memset( _referenceSpace, 0, _n * sizeof( char ) );
99
100 for ( unsigned i = 0; i < _n - _m; ++i )
101 {
102 _gamma[i] = 1.0;
103 _referenceSpace[tableau.nonBasicIndexToVariable( i )] = 1;
104 }
105
106 _iterationsUntilReset = GlobalConfiguration::PSE_ITERATIONS_BEFORE_RESET;
107 _errorInGamma = 0.0;
108
109 if ( _statistics )
110 _statistics->incLongAttribute( Statistics::PSE_NUM_RESET_REFERENCE_SPACE );
111}
112
113bool ProjectedSteepestEdgeRule::select( ITableau &tableau,
114 const List<unsigned> &candidates,

Callers

nothing calls this directly

Calls 2

incLongAttributeMethod · 0.80

Tested by

no test coverage detected