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

Method setSolutionValue

src/engine/InputQuery.cpp:157–160  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

155}
156
157void InputQuery::setSolutionValue( unsigned variable, double value )
158{
159 _solution[variable] = value;
160}
161
162double InputQuery::getSolutionValue( unsigned variable ) const
163{

Callers 4

run_sigmoid_testMethod · 0.80
extractSolutionMethod · 0.80
setSolutionValuesOfEliminatedNeuronsMethod · 0.80
test_set_solution_for_eliminated_neuronsMethod · 0.80

Calls

no outgoing calls

Tested by 2

run_sigmoid_testMethod · 0.64
test_set_solution_for_eliminated_neuronsMethod · 0.64