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

Method getBVariable

src/input_parsers/AcasParser.cpp:195–202  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

193}
194
195unsigned AcasParser::getBVariable( unsigned layer, unsigned index ) const
196{
197 NodeIndex nodeIndex( layer, index );
198 if ( !_nodeToB.exists( nodeIndex ) )
199 throw InputParserError( InputParserError::VARIABLE_INDEX_OUT_OF_RANGE );
200
201 return _nodeToB.get( nodeIndex );
202}
203
204unsigned AcasParser::getFVariable( unsigned layer, unsigned index ) const
205{

Callers

nothing calls this directly

Calls 3

InputParserErrorClass · 0.85
existsMethod · 0.45
getMethod · 0.45

Tested by

no test coverage detected