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

Method getDirection

src/engine/SignConstraint.cpp:648–651  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

646}
647
648PhaseStatus SignConstraint::getDirection() const
649{
650 return _direction;
651}
652
653void SignConstraint::updateScoreBasedOnPolarity()
654{

Callers 3

test_polarityMethod · 0.45
test_polarityMethod · 0.45
test_polarityMethod · 0.45

Calls

no outgoing calls

Tested by 3

test_polarityMethod · 0.36
test_polarityMethod · 0.36
test_polarityMethod · 0.36