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

Method InputQuery

src/engine/InputQuery.cpp:34–39  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

32 LOG( GlobalConfiguration::INPUT_QUERY_LOGGING, "Input Query: %s\n", x )
33
34InputQuery::InputQuery()
35 : _ensureSameSourceLayerInNLR( Options::get()->getSymbolicBoundTighteningType() ==
36 SymbolicBoundTighteningType::DEEP_POLY )
37 , _networkLevelReasoner( NULL )
38{
39}
40
41InputQuery::~InputQuery()
42{

Callers 11

getInputQueryMethod · 0.80
test_get_marabou_queryFunction · 0.80
test_statisticsFunction · 0.80
test_solve_round_and_clip_unsatFunction · 0.80
test_solve_round_and_clip_satFunction · 0.80
define_ipqFunction · 0.80
test_unit_equation1Function · 0.80
test_unit_equation2Function · 0.80
test_unit_equation3Function · 0.80
test_unit_equation4Function · 0.80
3_MarabouCoreExample.pyFile · 0.80

Calls 1

getSymbolicBoundTighteningTypeMethod · 0.80

Tested by 9

test_get_marabou_queryFunction · 0.64
test_statisticsFunction · 0.64
test_solve_round_and_clip_unsatFunction · 0.64
test_solve_round_and_clip_satFunction · 0.64
define_ipqFunction · 0.64
test_unit_equation1Function · 0.64
test_unit_equation2Function · 0.64
test_unit_equation3Function · 0.64
test_unit_equation4Function · 0.64