Searched refs:sBOT_DIFF (Results 1 – 1 of 1) sorted by relevance
653 Id* sBOT_DIFF; // NOLINT(readability-identifier-naming) member in MiniZinc::__anon205cd57e0111::OpToString686 sBOT_DIFF = new Id(Location(), "'diff'", nullptr); in OpToString()723 Expression::mark(sBOT_DIFF); in mark()776 return OpToString::o().sBOT_DIFF->v(); in opToString()