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

Method addFloatVarName

gecode/flatzinc/flatzinc.cpp:2923–2926  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2921 }
2922#ifdef GECODE_HAS_FLOAT_VARS
2923 void
2924 Printer::addFloatVarName(const std::string& n) {
2925 fv_names.push_back(n);
2926 }
2927#endif
2928#ifdef GECODE_HAS_SET_VARS
2929 void

Callers 1

fillPrinterFunction · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected