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

Method auxVariableInUse

src/engine/ReluConstraint.cpp:1022–1025  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1020}
1021
1022bool ReluConstraint::auxVariableInUse() const
1023{
1024 return _auxVarInUse;
1025}
1026
1027unsigned ReluConstraint::getAux() const
1028{

Callers 3

encodeReLUConstraintMethod · 0.80
test_relu_case_splits_with_aux_varMethod · 0.80
test_serialize_and_unserializeMethod · 0.80

Calls

no outgoing calls

Tested by 2

test_relu_case_splits_with_aux_varMethod · 0.64
test_serialize_and_unserializeMethod · 0.64