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

Method variableIsMerged

src/engine/Preprocessor.cpp:1021–1024  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1019}
1020
1021bool Preprocessor::variableIsMerged( unsigned index ) const
1022{
1023 return _mergedVariables.exists( index );
1024}
1025
1026unsigned Preprocessor::getMergedIndex( unsigned index ) const
1027{

Callers 5

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

Calls 1

existsMethod · 0.45

Tested by 1

test_identical_variable_eliminationMethod · 0.64