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

Method addEquation

src/engine/InputQuery.cpp:84–87  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

82}
83
84void InputQuery::addEquation( const Equation &equation )
85{
86 _equations.append( equation );
87}
88
89unsigned InputQuery::getNumberOfVariables() const
90{

Callers 8

getInputQueryMethod · 0.95
test_solve_round_and_clip_unsatFunction · 0.95
test_solve_round_and_clip_satFunction · 0.95
define_ipqFunction · 0.95
test_unit_equation1Function · 0.95
test_unit_equation2Function · 0.95
test_unit_equation3Function · 0.95
test_unit_equation4Function · 0.95

Calls 1

appendMethod · 0.45

Tested by 7

test_solve_round_and_clip_unsatFunction · 0.76
test_solve_round_and_clip_satFunction · 0.76
define_ipqFunction · 0.76
test_unit_equation1Function · 0.76
test_unit_equation2Function · 0.76
test_unit_equation3Function · 0.76
test_unit_equation4Function · 0.76