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

Method bisectInputRegion

src/engine/QueryDivider.cpp:18–36  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

16#include <QueryDivider.h>
17
18void QueryDivider::bisectInputRegion( const InputRegion &inputRegion,
19 unsigned dimensionToBisect,
20 List<InputRegion> &inputRegions )
21{
22 InputRegion inputRegion1;
23 InputRegion inputRegion2;
24
25 double mid = ( inputRegion._lowerBounds[dimensionToBisect] +
26 inputRegion._upperBounds[dimensionToBisect] ) /
27 2;
28
29 inputRegion1 = inputRegion;
30 inputRegion1._upperBounds[dimensionToBisect] = mid;
31 inputRegion2 = inputRegion;
32 inputRegion2._lowerBounds[dimensionToBisect] = mid;
33
34 inputRegions.append( inputRegion1 );
35 inputRegions.append( inputRegion2 );
36}
37
38//
39// Local Variables:

Callers

nothing calls this directly

Calls 1

appendMethod · 0.45

Tested by

no test coverage detected