Searched refs:sBOT_DOTDOT (Results 1 – 1 of 1) sorted by relevance
663 Id* sBOT_DOTDOT; // NOLINT(readability-identifier-naming) member in MiniZinc::__anon205cd57e0111::OpToString696 sBOT_DOTDOT = new Id(Location(), "'..'", nullptr); in OpToString()733 Expression::mark(sBOT_DOTDOT); in mark()796 return OpToString::o().sBOT_DOTDOT->v(); in opToString()