Searched defs:atoa (Results 1 – 2 of 2) sorted by relevance
90 char *atoa(char *str) { in atoa() function
1738 Theorem atoa = d_theoryCore->getCommonRules()->assumpRule(pos_expr); in simplifyQuant() local