Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ hasProjectFile
Method
hasProjectFile
MiniZincIDE/project.cpp:454–457 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
452
}
453
454
bool Project::hasProjectFile()
455
{
456
return !projectFile().isEmpty();
457
}
458
459
Project::NodeType Project::getType(const QModelIndex& index)
460
{
Callers
3
closeEvent
Method · 0.80
tabChange
Method · 0.80
isEmptyProject
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected