MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / BookmarkItem

Class BookmarkItem

cp-profiler/src/cpprofiler/db_handler.cpp:28–32  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

26};
27
28struct BookmarkItem
29{
30 NodeID nid;
31 std::string text;
32};
33
34struct NogoodItem
35{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected