Searched defs:ZM (Results 1 – 2 of 2) sorted by relevance
207 Z3Model(Z3Context &C, Z3_model ZM) : Context(C), Model(ZM) { in Z3Model()
3367 const char *ZM = Pred == "z" ? "z" : "m"; in tryParseSVEPredicateVector() local