Searched refs:sBOT_PLUSPLUS (Results 1 – 1 of 1) sorted by relevance
656 Id* sBOT_PLUSPLUS; // NOLINT(readability-identifier-naming) member in MiniZinc::__anon205cd57e0111::OpToString689 sBOT_PLUSPLUS = new Id(Location(), "'++'", nullptr); in OpToString()726 Expression::mark(sBOT_PLUSPLUS); in mark()782 return OpToString::o().sBOT_PLUSPLUS->v(); in opToString()