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