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

Method markOutputVariable

src/engine/InputQuery.cpp:540–544  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

538}
539
540void InputQuery::markOutputVariable( unsigned variable, unsigned outputIndex )
541{
542 _variableToOutputIndex[variable] = outputIndex;
543 _outputIndexToVariable[outputIndex] = variable;
544}
545
546unsigned InputQuery::inputVariableByIndex( unsigned index ) const
547{

Callers 6

getInputQueryMethod · 0.95
loadQueryMethod · 0.45
test_load_queryMethod · 0.45
test_construction_of_network_level_reasonerMethod · 0.45
test_construction_of_network_level_reasoner_with_sigmoidMethod · 0.45
generateInputQueryMethod · 0.45

Calls

no outgoing calls

Tested by 3

test_load_queryMethod · 0.36
test_construction_of_network_level_reasonerMethod · 0.36
test_construction_of_network_level_reasoner_with_sigmoidMethod · 0.36