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

Method processInputQuery

src/engine/Engine.cpp:921–924  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

919}
920
921bool Engine::processInputQuery( InputQuery &inputQuery )
922{
923 return processInputQuery( inputQuery, GlobalConfiguration::PREPROCESS_INPUT_QUERY );
924}
925
926bool Engine::calculateBounds( InputQuery &inputQuery )
927{

Callers 15

preprocessFunction · 0.80
solveFunction · 0.80
mainFunction · 0.80
mainFunction · 0.80
run_testMethod · 0.80
test_sat_vnncompMethod · 0.80
test_unsat_vnncompMethod · 0.80
mainFunction · 0.80
solveMethod · 0.80
run_sigmoid_testMethod · 0.80
run_inc_lin_cegar_testMethod · 0.80
dncSolveMethod · 0.80

Calls 15

InfeasibleQueryExceptionClass · 0.85
setBoolMethod · 0.80
tokenizeMethod · 0.80
asciiMethod · 0.80
setVisitedMethod · 0.80
getEquationsMethod · 0.80
getBoolMethod · 0.80
setLongAttributeMethod · 0.80
PiecewiseLinearCaseSplitClass · 0.70
addAuxiliaryEquationsAfterPreprocessingMethod · 0.45
existsMethod · 0.45
getTypeMethod · 0.45

Tested by 15

run_testMethod · 0.64
test_sat_vnncompMethod · 0.64
test_unsat_vnncompMethod · 0.64
run_sigmoid_testMethod · 0.64
run_inc_lin_cegar_testMethod · 0.64
test_process_input_queryMethod · 0.64
test_pick_split_pl_constraint_polarityMethod · 0.64
test_pick_split_pl_constraint_earliest_reluMethod · 0.64
test_pick_split_pl_constraint_largest_intervalMethod · 0.64
test_disjunction_1Method · 0.64
test_disjunction_2Method · 0.64
test_absoluate_value_unsatMethod · 0.64