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

Method cdoCleanup

src/engine/PiecewiseLinearConstraint.cpp:106–124  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

104}
105
106void PiecewiseLinearConstraint::cdoCleanup()
107{
108 if ( _cdConstraintActive != nullptr )
109 _cdConstraintActive->deleteSelf();
110
111 _cdConstraintActive = nullptr;
112
113 if ( _cdPhaseStatus != nullptr )
114 _cdPhaseStatus->deleteSelf();
115
116 _cdPhaseStatus = nullptr;
117
118 if ( _cdInfeasibleCases != nullptr )
119 _cdInfeasibleCases->deleteSelf();
120
121 _cdInfeasibleCases = nullptr;
122
123 _context = nullptr;
124}
125
126PhaseStatus PiecewiseLinearConstraint::getPhaseStatus() const
127{

Callers

nothing calls this directly

Calls 1

deleteSelfMethod · 0.45

Tested by

no test coverage detected