MCPcopy Create free account
hub / github.com/Gecode/gecode / addSetVarName

Method addSetVarName

gecode/flatzinc/flatzinc.cpp:2929–2932  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2927#endif
2928#ifdef GECODE_HAS_SET_VARS
2929 void
2930 Printer::addSetVarName(const std::string& n) {
2931 sv_names.push_back(n);
2932 }
2933#endif
2934
2935 void

Callers 1

fillPrinterFunction · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected