Home
last modified time | relevance | path

Searched refs:getPkgNameWithDot (Results 1 – 2 of 2) sorted by relevance

/dports/math/giacxcas/CoCoALib-0.99700/src/CoCoA-5/
H A DInterpreter.C673 string getPkgNameWithDot(const string &s) { in getPkgNameWithDot() function
684 const string recordName(getPkgNameWithDot(v->tag)+"PrintTagged"); in printTaggedValue()
/dports/math/cocoalib/CoCoALib-0.99712/src/CoCoA-5/
H A DInterpreter.C675 string getPkgNameWithDot(const string &s) { in getPkgNameWithDot() function
686 const string recordName(getPkgNameWithDot(v->tag)+"PrintTagged"); in printTaggedValue()