Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/NeuralNetworkVerification/Marabou
/ clear
Method
clear
src/common/Stack.h:43–48 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
41
}
42
43
void clear()
44
{
45
unsigned stackSize = size();
46
for ( unsigned i = 0; i < stackSize; ++i )
47
_container.pop();
48
}
49
50
void pop()
51
{
Callers
nothing calls this directly
Calls
1
pop
Method · 0.45
Tested by
no test coverage detected