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

Method getInputQuery

src/engine/Engine.cpp:2349–2352  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2347}
2348
2349InputQuery *Engine::getInputQuery()
2350{
2351 return &( *_preprocessedQuery );
2352}
2353
2354void Engine::checkBoundCompliancyWithDebugSolution()
2355{

Callers 6

createQueryFunction · 0.45
solveMethod · 0.45
initialDivideMethod · 0.45
test_pick_split_pl_constraint_polarityMethod · 0.45
test_pick_split_pl_constraint_earliest_reluMethod · 0.45
test_absoluate_value_on_acasMethod · 0.45

Calls

no outgoing calls

Tested by 3

test_pick_split_pl_constraint_polarityMethod · 0.36
test_pick_split_pl_constraint_earliest_reluMethod · 0.36
test_absoluate_value_on_acasMethod · 0.36