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

Method getNetworkLevelReasoner

src/engine/InputQuery.cpp:728–731  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

726}
727
728NLR::NetworkLevelReasoner *InputQuery::getNetworkLevelReasoner() const
729{
730 return _networkLevelReasoner;
731}
732
733bool InputQuery::constructNetworkLevelReasoner( List<Equation> &unhandledEquations,
734 Set<unsigned> &varsInUnhandledConstraints )

Callers 15

processSingleLineMethod · 0.80
initializeNetworkLevelReasoningMethod · 0.80
printResultMethod · 0.80
SumOfInfeasibilitiesManagerMethod · 0.80
test_construct_leaky_relu_nlrMethod · 0.80
test_pick_split_pl_constraint_polarityMethod · 0.80
test_pick_split_pl_constraint_earliest_reluMethod · 0.80
test_initialize_phase_pattern_with_input_assignment1Method · 0.80
test_initialize_phase_pattern_with_input_assignment2Method · 0.80
test_initialize_phase_pattern_with_current_assignmentMethod · 0.80
test_propose_phase_pattern_update_randomlyMethod · 0.80
test_propose_phase_pattern_update_walksatMethod · 0.80

Calls

no outgoing calls

Tested by 12

test_construct_leaky_relu_nlrMethod · 0.64
test_pick_split_pl_constraint_polarityMethod · 0.64
test_pick_split_pl_constraint_earliest_reluMethod · 0.64
test_initialize_phase_pattern_with_input_assignment1Method · 0.64
test_initialize_phase_pattern_with_input_assignment2Method · 0.64
test_initialize_phase_pattern_with_current_assignmentMethod · 0.64
test_propose_phase_pattern_update_randomlyMethod · 0.64
test_propose_phase_pattern_update_walksatMethod · 0.64
test_update_current_phase_pattern_for_satisfied_pl_constraintsMethod · 0.64
test_remove_cost_component_from_heuristic_costMethod · 0.64
test_absoluate_value_on_acasMethod · 0.64
test_generate_input_queryMethod · 0.64