Searched defs:QF_AX (Results 1 – 4 of 4) sorted by relevance
51 QF_AX, enumerator
110 QF_AX, // arrays enumerator
429 QF_AX = Logic(name="QF_AX", variable
191 | QF_AX -- ^ Quantifier-free formulas over the theory of arrays with extensionality. constructor