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

Method outputVariableByIndex

src/engine/InputQuery.cpp:552–556  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

550}
551
552unsigned InputQuery::outputVariableByIndex( unsigned index ) const
553{
554 ASSERT( _outputIndexToVariable.exists( index ) );
555 return _outputIndexToVariable.get( index );
556}
557
558unsigned InputQuery::getNumInputVariables() const
559{

Callers 15

solve_queryFunction · 0.80
processSingleLineMethod · 0.80
parseDeclareConstMethod · 0.80
run_testMethod · 0.80
test_nano_vnncompMethod · 0.80
test_tiny_vnncompMethod · 0.80
test_small_vnncompMethod · 0.80
test_sat_vnncompMethod · 0.80
test_unsat_vnncompMethod · 0.80
test_add_constMethod · 0.80
test_add_varMethod · 0.80
test_sub_constMethod · 0.80

Calls 2

existsMethod · 0.45
getMethod · 0.45

Tested by 11

run_testMethod · 0.64
test_nano_vnncompMethod · 0.64
test_tiny_vnncompMethod · 0.64
test_small_vnncompMethod · 0.64
test_sat_vnncompMethod · 0.64
test_unsat_vnncompMethod · 0.64
test_add_constMethod · 0.64
test_add_varMethod · 0.64
test_sub_constMethod · 0.64
test_sub_varMethod · 0.64
test_mul_var_constMethod · 0.64