Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/NeuralNetworkVerification/Marabou
/ constraintObsolete
Method
constraintObsolete
src/engine/SoftmaxConstraint.cpp:175–178 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
173
}
174
175
bool SoftmaxConstraint::constraintObsolete() const
176
{
177
return _inputs.size() == 0;
178
}
179
180
void SoftmaxConstraint::getEntailedTightenings( List<Tightening> &tightenings ) const
181
{
Callers
nothing calls this directly
Calls
1
size
Method · 0.45
Tested by
no test coverage detected