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

Method addNonlinearConstraint

src/engine/InputQuery.cpp:233–236  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

231}
232
233void InputQuery::addNonlinearConstraint( NonlinearConstraint *constraint )
234{
235 _nlConstraints.append( constraint );
236}
237
238List<NonlinearConstraint *> &InputQuery::getNonlinearConstraints()
239{

Callers 15

addRoundConstraintFunction · 0.80
addBilinearConstraintFunction · 0.80
addSigmoidConstraintFunction · 0.80
addSoftmaxConstraintFunction · 0.80
generateQueryMethod · 0.80
loadQueryMethod · 0.80
test_load_queryMethod · 0.80
run_sigmoid_testMethod · 0.80
run_inc_lin_cegar_testMethod · 0.80
test_equality_operator_with_sigmoidMethod · 0.80
test_variable_elimination_for_sigmoid_constraintMethod · 0.80
test_construction_of_network_level_reasoner_with_sigmoidMethod · 0.80

Calls 1

appendMethod · 0.45

Tested by 15

test_load_queryMethod · 0.64
run_sigmoid_testMethod · 0.64
run_inc_lin_cegar_testMethod · 0.64
test_equality_operator_with_sigmoidMethod · 0.64
test_variable_elimination_for_sigmoid_constraintMethod · 0.64
test_construction_of_network_level_reasoner_with_sigmoidMethod · 0.64
test_encode_sigmoid_constraint_satMethod · 0.64
test_encode_sigmoid_constraint_unsatMethod · 0.64
test_encode_bilinear_constraint1Method · 0.64
test_encode_bilinear_constraint2Method · 0.64
test_encode_softmax_constraintMethod · 0.64
test_encode_round_constraint1Method · 0.64