Searched defs:newConcat (Results 1 – 6 of 6) sorted by relevance
1478 void SAL_CALL IMPL_RTL_STRINGNAME( newConcat )( IMPL_RTL_STRINGDATA** ppThis, in IMPL_RTL_STRINGNAME() argument1559 IMPL_RTL_STRINGNAME( newConcat )( ppThis, pStr, pNewSubStr ); in IMPL_RTL_STRINGNAME() local
1321 void newConcat ( IMPL_RTL_STRINGDATA** ppThis, in newConcat() function
2593 auto *newConcat = in run() local
4752 Expr newConcat = d_theoryBitvector->newConcatExpr(bvMult2, newLowConcat); in liftConcatBVMult() local
6114 expr_ref newConcat(m); in solve_concat_eq_str() local
6310 expr_ref newConcat(m); in solve_concat_eq_str() local