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

Method functionTypeSupported

src/nlr/NetworkLevelReasoner.cpp:52–64  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

50}
51
52bool 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
66void NetworkLevelReasoner::addLayer( unsigned layerIndex, Layer::Type type, unsigned layerSize )
67{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected