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

Method getMergedIndex

src/engine/Preprocessor.cpp:1026–1029  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1024}
1025
1026unsigned Preprocessor::getMergedIndex( unsigned index ) const
1027{
1028 return _mergedVariables.at( index );
1029}
1030
1031bool Preprocessor::variableIsUnusedAndSymbolicallyFixed( unsigned index ) const
1032{

Callers 4

printInputBoundsMethod · 0.80
extractSolutionMethod · 0.80
extractBoundsMethod · 0.80
test_identical_variable_eliminationMethod · 0.80

Calls

no outgoing calls

Tested by 1

test_identical_variable_eliminationMethod · 0.64