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