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

Method addBoolVarName

gecode/flatzinc/flatzinc.cpp:2918–2921  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2916 iv_names.push_back(n);
2917 }
2918 void
2919 Printer::addBoolVarName(const std::string& n) {
2920 bv_names.push_back(n);
2921 }
2922#ifdef GECODE_HAS_FLOAT_VARS
2923 void
2924 Printer::addFloatVarName(const std::string& n) {

Callers 1

fillPrinterFunction · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected