Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ ~ProjectBrowser
Method
~ProjectBrowser
MiniZincIDE/projectbrowser.cpp:21–24 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
19
}
20
21
ProjectBrowser::~ProjectBrowser()
22
{
23
delete ui;
24
}
25
26
void ProjectBrowser::project(Project* p)
27
{
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected