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

Method getNumberOfVariables

src/engine/InputQuery.cpp:89–92  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

87}
88
89unsigned InputQuery::getNumberOfVariables() const
90{
91 return _numberOfVariables;
92}
93
94unsigned InputQuery::getNewVariable()
95{

Callers 15

solveFunction · 0.45
calculateBoundsFunction · 0.45
test_bound_gettersFunction · 0.45
test_load_queryMethod · 0.45
solveMethod · 0.45
refineMethod · 0.45
encodeInputQueryMethod · 0.45
transformToUseAuxVariablesMethod · 0.45
transformToUseAuxVariablesMethod · 0.45
runSingleSimulationMethod · 0.45
addAuxiliaryEquationsAfterPreprocessingMethod · 0.45
invokePreprocessorMethod · 0.45

Calls

no outgoing calls

Tested by 3

test_bound_gettersFunction · 0.36
test_load_queryMethod · 0.36
test_absoluate_value_on_acasMethod · 0.36