Home
last modified time | relevance | path

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

/dports/math/z3/z3-z3-4.8.13/scripts/
H A Dmk_util.py836 _UNIQ_ID = 0 variable
839 global _UNIQ_ID
840 r = '%s_%s' % (prefix, _UNIQ_ID)
841 _UNIQ_ID = _UNIQ_ID + 1
/dports/math/py-z3-solver/z3-z3-4.8.10/scripts/
H A Dmk_util.py836 _UNIQ_ID = 0 variable
839 global _UNIQ_ID
840 r = '%s_%s' % (prefix, _UNIQ_ID)
841 _UNIQ_ID = _UNIQ_ID + 1