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

Method getNumOutputVariables

src/engine/InputQuery.cpp:563–566  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

561}
562
563unsigned InputQuery::getNumOutputVariables() const
564{
565 return _outputIndexToVariable.size();
566}
567
568List<unsigned> InputQuery::getInputVariables() const
569{

Callers 5

solve_queryFunction · 0.45
test_load_queryMethod · 0.45
warmStartMethod · 0.45
printResultMethod · 0.45
displayResultsMethod · 0.45

Calls 1

sizeMethod · 0.45

Tested by 1

test_load_queryMethod · 0.36