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

Method getFixedValue

src/engine/Preprocessor.cpp:1016–1019  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1014}
1015
1016double Preprocessor::getFixedValue( unsigned index ) const
1017{
1018 return _fixedVariables.at( index );
1019}
1020
1021bool Preprocessor::variableIsMerged( unsigned index ) const
1022{

Callers 3

printInputBoundsMethod · 0.80
extractSolutionMethod · 0.80
extractBoundsMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected