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

Method addPiecewiseLinearConstraint

src/engine/InputQuery.cpp:171–174  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

169}
170
171void InputQuery::addPiecewiseLinearConstraint( PiecewiseLinearConstraint *constraint )
172{
173 _plConstraints.append( constraint );
174}
175
176void InputQuery::addClipConstraint( unsigned b, unsigned f, double floor, double ceiling )
177{

Callers 15

addLeakyReluConstraintFunction · 0.45
addReluConstraintFunction · 0.45
addSignConstraintFunction · 0.45
addMaxConstraintFunction · 0.45
addAbsConstraintFunction · 0.45
addDisjunctionConstraintFunction · 0.45
generateQueryMethod · 0.45
generateQueryMethod · 0.45
generateQueryMethod · 0.45
parseAssertMethod · 0.45
loadQueryMethod · 0.45
test_load_queryMethod · 0.45

Calls 1

appendMethod · 0.45

Tested by 15

test_load_queryMethod · 0.36
test_disjunction_make_all_disjuncts_boundsMethod · 0.36
test_equality_operatorMethod · 0.36
test_construct_leaky_relu_nlrMethod · 0.36
test_tighten_bounds_using_constraintsMethod · 0.36
test_tighten_bounds_using_equations_and_constraintsMethod · 0.36
test_identical_variable_eliminationMethod · 0.36
test_merge_and_fix_disjointMethod · 0.36
test_construction_of_network_level_reasonerMethod · 0.36
test_preprocessor_handle_obsolete_constraintsMethod · 0.36
test_preprocessor_with_input_bounds_in_disjunctionMethod · 0.36
test_process_input_queryMethod · 0.36