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

Method getNewVariable

src/engine/InputQuery.cpp:94–97  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

92}
93
94unsigned InputQuery::getNewVariable()
95{
96 return _numberOfVariables++;
97}
98
99double InputQuery::getLowerBound( unsigned variable ) const
100{

Callers 3

addAuxiliaryEquationsAfterPreprocessingMethod · 0.45
attemptToRefineMethod · 0.45
test_get_new_variableMethod · 0.45

Calls

no outgoing calls

Tested by 1

test_get_new_variableMethod · 0.36