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

Method removeEquationsByIndex

src/engine/InputQuery.cpp:138–150  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

136}
137
138void InputQuery::removeEquationsByIndex( const Set<unsigned> indices )
139{
140 unsigned m = _equations.size();
141 List<Equation>::iterator it = _equations.begin();
142
143 for ( unsigned index = 0; index < m; ++index )
144 {
145 if ( indices.exists( index ) )
146 it = _equations.erase( it );
147 else
148 ++it;
149 }
150}
151
152const List<Equation> &InputQuery::getEquations() const
153{

Callers 1

Calls 4

sizeMethod · 0.45
beginMethod · 0.45
existsMethod · 0.45
eraseMethod · 0.45

Tested by

no test coverage detected