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

Method getValidCaseSplit

src/engine/MaxConstraint.cpp:433–436  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

431}
432
433PiecewiseLinearCaseSplit MaxConstraint::getValidCaseSplit() const
434{
435 return getImpliedCaseSplit();
436}
437
438PiecewiseLinearCaseSplit MaxConstraint::getCaseSplit( PhaseStatus phase ) const
439{

Callers 1

applyValidConstraintCaseSplitMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected