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

Method variableIsFixed

src/engine/Preprocessor.cpp:1011–1014  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1009}
1010
1011bool Preprocessor::variableIsFixed( unsigned index ) const
1012{
1013 return _fixedVariables.exists( index );
1014}
1015
1016double Preprocessor::getFixedValue( unsigned index ) const
1017{

Callers 4

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

Calls 1

existsMethod · 0.45

Tested by

no test coverage detected