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

Method initialize

src/engine/BoundManager.cpp:72–83  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

70};
71
72void BoundManager::initialize( unsigned numberOfVariables )
73{
74 ASSERT( _size == 0 );
75
76 allocateLocalBounds( numberOfVariables );
77
78 for ( unsigned i = 0; i < numberOfVariables; ++i )
79 registerNewVariable();
80
81 ASSERT( _size == numberOfVariables );
82 ASSERT( _allocated == numberOfVariables );
83}
84
85void BoundManager::allocateLocalBounds( unsigned size )
86{

Callers 15

solveMethod · 0.45
initializeTableauMethod · 0.45
processInputQueryMethod · 0.45
restoreStateMethod · 0.45
certifyInfeasibilityMethod · 0.45
setConstraintMatrixMethod · 0.45
restoreStateMethod · 0.45
addRowMethod · 0.45
analyzeMethod · 0.45

Calls

no outgoing calls