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

Method getInputVariables

src/engine/Engine.cpp:2403–2406  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2401}
2402
2403List<unsigned> Engine::getInputVariables() const
2404{
2405 return _preprocessedQuery->getInputVariables();
2406}
2407
2408void Engine::performSimulation()
2409{

Callers 8

test_load_queryMethod · 0.45
runSingleSimulationMethod · 0.45
decideBranchingHeuristicsMethod · 0.45
pickSplitPLConstraintBasedOnIntervalWidthMethod · 0.45
pickSplitPLConstraintMethod · 0.45
preprocessMethod · 0.45
initialDivideMethod · 0.45
setQueryDividerMethod · 0.45

Calls

no outgoing calls

Tested by 1

test_load_queryMethod · 0.36