| 50 | } |
| 51 | |
| 52 | bool NetworkLevelReasoner::functionTypeSupported( PiecewiseLinearFunctionType type ) |
| 53 | { |
| 54 | if ( type == PiecewiseLinearFunctionType::RELU ) |
| 55 | return true; |
| 56 | |
| 57 | if ( type == PiecewiseLinearFunctionType::ABSOLUTE_VALUE ) |
| 58 | return true; |
| 59 | |
| 60 | if ( type == PiecewiseLinearFunctionType::SIGN ) |
| 61 | return true; |
| 62 | |
| 63 | return false; |
| 64 | } |
| 65 | |
| 66 | void NetworkLevelReasoner::addLayer( unsigned layerIndex, Layer::Type type, unsigned layerSize ) |
| 67 | { |
nothing calls this directly
no outgoing calls
no test coverage detected