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

Method setNumberOfVariables

src/engine/InputQuery.cpp:51–54  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

49}
50
51void InputQuery::setNumberOfVariables( unsigned numberOfVariables )
52{
53 _numberOfVariables = numberOfVariables;
54}
55
56void InputQuery::setLowerBound( unsigned variable, double bound )
57{

Callers 15

getInputQueryMethod · 0.95
test_statisticsFunction · 0.95
test_solve_round_and_clip_unsatFunction · 0.95
test_solve_round_and_clip_satFunction · 0.95
define_ipqFunction · 0.95
test_unit_equation1Function · 0.95
test_unit_equation2Function · 0.95
test_unit_equation3Function · 0.95
test_unit_equation4Function · 0.95
3_MarabouCoreExample.pyFile · 0.80
generateQueryMethod · 0.80
generateQueryMethod · 0.80

Calls

no outgoing calls

Tested by 15

test_statisticsFunction · 0.76
test_solve_round_and_clip_unsatFunction · 0.76
test_solve_round_and_clip_satFunction · 0.76
define_ipqFunction · 0.76
test_unit_equation1Function · 0.76
test_unit_equation2Function · 0.76
test_unit_equation3Function · 0.76
test_unit_equation4Function · 0.76
test_load_queryMethod · 0.64
run_sigmoid_testMethod · 0.64
run_inc_lin_cegar_testMethod · 0.64
test_disjunction_make_all_disjuncts_boundsMethod · 0.64