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

Method PolarityBasedDivider

src/engine/PolarityBasedDivider.cpp:24–27  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

22#include "PiecewiseLinearCaseSplit.h"
23
24PolarityBasedDivider::PolarityBasedDivider( std::shared_ptr<IEngine> engine )
25 : _engine( std::move( engine ) )
26{
27}
28
29void PolarityBasedDivider::createSubQueries( unsigned numNewSubqueries,
30 const String queryIdPrefix,

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected