Searched refs:exprData_getPairA (Results 1 – 6 of 6) sorted by relevance
288 stmt1 = exprData_getPairA (e->edata); in exprNode_stmtList()897 e1 = exprData_getPairA (data); in exprNode_multiStatement()912 e1 = exprData_getPairA (data); in exprNode_multiStatement()974 e1 = (exprData_getPairA (data)); in exprNode_multiStatement()1216 t1 = (exprData_getPairA (data)); in exprNode_exprTraverse()1222 t1 = (exprData_getPairA (data)); in exprNode_exprTraverse()1556 t1 = exprData_getPairA (data); in exprNode_exprTraverse()1623 (exprData_getPairA (data))); in exprNode_traverseTrueEnsuresConstraints()1757 (exprData_getPairA (data))); in exprNode_traverseFalseEnsuresConstraints()1892 (exprData_getPairA (data))); in exprNode_traverseRequiresConstraints()[all …]
53 f = (void *) exprData_getPairA; in fakeQuite1()
9026 exprNode first = exprData_getPairA (e->edata); in exprNode_unparseFirst()9612 exprNode_unparse (exprData_getPairA (data)), in exprNode_doUnparse()9645 exprNode_unparse (exprData_getPairA (data)), in exprNode_doUnparse()9657 exprNode_unparse (exprData_getPairA (data)), in exprNode_doUnparse()9669 exprNode_unparse (exprData_getPairA (data)), in exprNode_doUnparse()9684 exprNode_unparse (exprData_getPairA (data))); in exprNode_doUnparse()9704 exprNode_unparse (exprData_getPairA (data)), in exprNode_doUnparse()9710 exprNode_unparse (exprData_getPairA (data)), in exprNode_doUnparse()9722 exprNode_unparse (exprData_getPairA (data)), in exprNode_doUnparse()10035 (exprNode_flatten (exprData_getPairA (e->edata)), in exprNode_flatten()[all …]
308 /*@exposed@*/ exprNode exprData_getPairA (exprData data) /*@*/ in exprData_getPairA() function
561 t = exprData_getPairA (data); in constraintExpr_makeExprNode()
29 /*static*/ /*@exposed@*/ exprNode exprData_getPairA (exprData p_data) /*@*/;