MCPcopy 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
175bool SoftmaxConstraint::constraintObsolete() const
176{
177 return _inputs.size() == 0;
178}
179
180void SoftmaxConstraint::getEntailedTightenings( List<Tightening> &tightenings ) const
181{

Callers

nothing calls this directly

Calls 1

sizeMethod · 0.45

Tested by

no test coverage detected